Verifying and Validating Multirobot Missions

View/ Open
Date
2014Author
Lyons, Damian M.
Arkin, Ronald C.
Jiang, Shu
Harrington, Dagan
Liu, Tsung-Ming
Metadata
Show full item recordAbstract
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.