Verifying and validating multirobot missions


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 a real-world environment, will hold within a threshold probability. In this paper we demonstrate its utility for verifying multirobot missions, in particular a bounding overwatch mission.

DOI: 10.1109/IROS.2014.6942754

Extracted Key Phrases

10 Figures and Tables

Cite this paper

@article{Lyons2014VerifyingAV, title={Verifying and validating multirobot missions}, author={Damian M. Lyons and Ronald C. Arkin and Shu Jiang and Dagan Harrington and T. Liu}, journal={2014 IEEE/RSJ International Conference on Intelligent Robots and Systems}, year={2014}, pages={1495-1502} }