Document Type
Article
Disciplines
Computer Engineering | Robotics
Abstract
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.
Article Number
1046
Publication Date
9-2014
Recommended Citation
Lyons, Damian M.; Arkin, Ronald C.; Jiang, Shu; Harrington, Dagon; and Liu, Tsung-Ming, "Verifying and Validating Multirobot Missions" (2014). Faculty Publications. 37.
https://research.library.fordham.edu/frcv_facultypubs/37
Comments
Intelligent Robots and Systems (IROS) 2014, Chicago IL, September 2014
This research was conducted at the Fordham University Robotics and Computer Vision Lab. For more information about graduate programs in Computer Science, see http://www.cis.fordham.edu/graduate.html, and the Fordham University Graduate School of Arts and Sciences, see http://www.fordham.edu/gsas.