Computer Engineering | Robotics
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.
Lyons, Damian M.; Arkin, Ronald C.; Jiang, Shu; Harrington, Dagon; and Liu, Tsung-Ming, "Verifying and Validating Multirobot Missions" (2014). Faculty Publications. 37.