Verifying and validating multirobot missions

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.

DOI: 10.1109/IROS.2014.6942754

Extracted Key Phrases

Showing 1-10 of 21 references

The Evolution of Chemical, Biological, Radiological, and Nuclear Defense and the Contributions of Army Research and Development

  • J C Doesburg, G E Steiger
  • 2004
Highly Influential
6 Excerpts

Automatic Verification of Parameterized Interleaved MultiAgent Systems

  • P Kouvarous, A Lomuscio
  • 2013

Synthesis of provably-correct control and communication strategies for distributed mobile systems

  • C Belta
  • 2010