Probabilistic Verification of Multi-robot Missions in Uncertain Environments - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Damian M. Lyons, Ronald C. Arkin, Shu Jiang, Dagan Harrington, Feng Tang, Peng Tang. Probabilistic Verification of Multi-robot Missions in Uncertain Environments. In 27th IEEE International Conference on Tools with Artificial Intelligence, ICTAI 2015, Vietri sul Mare, Italy, November 9-11, 2015. pages 56-63, IEEE, 2015. [doi]

This author has not been identified. Look up 'Damian M. Lyons' in GoogleThis author has not been identified. Look up 'Ronald C. Arkin' in GoogleThis author has not been identified. Look up 'Shu Jiang' in GoogleThis author has not been identified. Look up 'Dagan Harrington' in GoogleThis author has not been identified. Look up 'Feng Tang' in GoogleThis author has not been identified. Look up 'Peng Tang' in Google

runs on WebDSL