Verifying and Validating Multirobot Missions
Lyons, Damian M.
Arkin, Ronald C.
MetadataShow full item record
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.