Verifying and validating multirobot missions

  title={Verifying and validating multirobot missions},
  author={D. Lyons and R. Arkin and Shu Jiang and D. Harrington and T. Liu},
  journal={2014 IEEE/RSJ International Conference on Intelligent Robots and Systems},
  • D. Lyons, R. Arkin, +2 authors T. Liu
  • Published 2014
  • Engineering, Computer Science
  • 2014 IEEE/RSJ International Conference on Intelligent Robots and Systems
  • 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.Β 
    12 Citations

    Figures and Topics from this paper.

    Explore Further: Topics Discussed in This Paper

    Automatic Verification of Autonomous Robot Missions
    • 26
    • PDF
    Probabilistic Verification of Multi-robot Missions in Uncertain Environments
    • 9
    • PDF
    Establishing A-Priori Performance Guarantees for Robot Missions that Include Localization Software
    • 1
    • PDF
    Formal performance guarantees for an approach to human in the loop robot missions
    Toward Formal Models and Languages for Verifiable Multi-Robot Systems
    • 6
    • PDF
    SLAM-Based Spatial Memory for Behavior-Based Robots
    • 7
    • PDF
    An Analysis of Displays for Probabilistic Robotic Mission Verification Results
    • 5
    • PDF
    Temporal heterogeneity and the value of slowness in robotic systems
    • R. Arkin, M. Egerstedt
    • Engineering, Computer Science
    • 2015 IEEE International Conference on Robotics and Biomimetics (ROBIO)
    • 2015
    • 10
    • PDF
    vTSL - A Formally Verifiable DSL for Specifying Robot Tasks


    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
    Towards performance guarantees for emergent behavior
    • D. Lyons, R. Arkin
    • Engineering, Computer Science
    • IEEE International Conference on Robotics and Automation, 2004. Proceedings. ICRA '04. 2004
    • 2004
    • 22
    • PDF
    Performance guarantees for C-WMD robot missions
    • 6
    • PDF
    Verifying Performance for Autonomous Robot Missions with Uncertainty
    • 20
    • PDF
    Multiagent Mission Specification and Execution
    • 291
    Bounding overwatch operations for robotic and semi-robotic ground vehicles
    • 6
    A compositional framework for programming stochastically interacting robots
    • 25
    • PDF