Verifying and Validating Multirobot Missions
Author(s)
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
2014
Extent
Resource Type
Text
Resource Subtype
Paper