Verifying and validating multirobot missions
Damian M. Lyons, Ronald C. Arkin, Shu Jiang, Dean Harrington, T. Liu · 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 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.