Corpus ID: 171091415

9-2014 Verifying and Validating Multirobot Missions

  title={9-2014 Verifying and Validating Multirobot Missions},
  author={D. Lyons},
  • D. Lyons
  • Published 2019
  • 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. 

    Figures from this paper.


    Publications referenced by this paper.
    Designing autonomous robot missions with performance guarantees
    • 23
    • PDF
    Getting it right the first time: Robot mission guarantees in the presence of uncertainty
    • 16
    • PDF
    A Software Tool for the Design of Critical Robot Missions with Performance Guarantees
    • 10
    • PDF
    Multiagent Mission Specification and Execution
    • 291
    Towards performance guarantees for emergent behavior
    • 22
    • PDF
    Verifying Performance for Autonomous Robot Missions with Uncertainty
    • 20
    • Highly Influential
    • PDF
    Performance guarantees for C-WMD robot missions
    • 6
    • PDF
    LTLMoP: Experimenting with language, Temporal Logic and robot control
    • 143
    • PDF
    A compositional framework for programming stochastically interacting robots
    • 25
    • PDF
    Bounding overwatch operations for robotic and semi-robotic ground vehicles
    • 6