Share This Author
Automatic Verification of Autonomous Robot Missions
- M. O'Brien, R. Arkin, D. Harrington, D. Lyons, Shu Jiang
- Computer ScienceSIMPAR
- 20 October 2014
TLDR
Probabilistic Verification of Multi-robot Missions in Uncertain Environments
- D. Lyons, R. Arkin, Shu Jiang, D. Harrington, F. Tang, P. Tang
- Computer ScienceIEEE 27th International Conference on Tools with…
- 9 November 2015
TLDR
Verifying and validating multirobot missions
- D. Lyons, R. Arkin, Shu Jiang, D. Harrington, T. Liu
- Computer ScienceIEEE/RSJ International Conference on Intelligent…
- 6 November 2014
We have developed an approach that can be used by mission designers to determine whether or not a performance guarantee for their mission software, when carried out under the uncertain conditions of…
Performance guarantees for C-WMD robot missions
- Shu Jiang, R. Arkin, D. Lyons, Tsung-Ming Liu, D. Harrington
- Computer ScienceIEEE International Symposium on Safety, Security…
- 1 October 2013
TLDR
Getting it Right the First Time: Verification of Behavior-based Multirobot Missions
- D. Lyons, R. Arkin, Shu Jiang, D. Harrington, M. O'Brien
- Computer Science
- 2014
TLDR