Title:
Verifying and Validating Multirobot Missions

Thumbnail Image
Authors
Lyons, Damian M.
Arkin, Ronald C.
Jiang, Shu
Harrington, Dagan
Liu, Tsung-Ming
Authors
Advisors
Advisors
Associated Organizations
Organizational Unit
Organizational Unit
Organizational Unit
Series
Supplementary to
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
Rights Statement
Rights URI