Title:
Verifying and Validating Multirobot Missions

Thumbnail Image
Author(s)
Lyons, Damian M.
Arkin, Ronald C.
Jiang, Shu
Harrington, Dagan
Liu, Tsung-Ming
Authors
Advisor(s)
Advisor(s)
Editor(s)
Associated Organization(s)
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