Title:
Verifying and Validating Multirobot Missions
Verifying and Validating Multirobot Missions
Author(s)
Lyons, Damian M.
Arkin, Ronald C.
Jiang, Shu
Harrington, Dagan
Liu, Tsung-Ming
Arkin, Ronald C.
Jiang, Shu
Harrington, Dagan
Liu, Tsung-Ming
Advisor(s)
Editor(s)
Collections
Supplementary to
Permanent Link
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.
Sponsor
Date Issued
2014
Extent
Resource Type
Text
Resource Subtype
Paper