Title:
Verifying and Validating Multirobot Missions
Verifying and Validating Multirobot Missions
Authors
Lyons, Damian M.
Arkin, Ronald C.
Jiang, Shu
Harrington, Dagan
Liu, Tsung-Ming
Arkin, Ronald C.
Jiang, Shu
Harrington, Dagan
Liu, Tsung-Ming
Authors
Person
Advisors
Advisors
Associated Organizations
Organizational Unit
Organizational Unit
Organizational Unit
Series
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