A Software Tool for the Design of Critical Robot Missions with Performance Guarantees

  title={A Software Tool for the Design of Critical Robot Missions with Performance Guarantees},
  author={D. Lyons and R. Arkin and P. Nirmal and Shu Jiang and Tsung-Ming Liu},
  • D. Lyons, R. Arkin, +2 authors Tsung-Ming Liu
  • Published in CSER 2013
  • Computer Science
  • Deploying a robot as part of a counter-weapons of mass destruction mission demands that the robotic software operates with high assurance. A unique feature of robotic software development is the need to perform predictably in a physical environment that may only be poorly characterized in advance. In this paper, we present an approach to building high assurance software for robot missions carried out in uncertain environments. The software development framework and the verification algorithm… CONTINUE READING
    10 Citations
    Automatic Verification of Autonomous Robot Missions
    • 28
    • PDF
    Performance Verification for Behavior-Based Robot Missions
    • 20
    • PDF
    Performance guarantees for C-WMD robot missions
    • 6
    • PDF
    Getting it right the first time: Robot mission guarantees in the presence of uncertainty
    • 16
    • PDF
    Verifying and validating multirobot missions
    • 12
    • PDF
    9-2014 Verifying and Validating Multirobot Missions
    SLAM-Based Spatial Memory for Behavior-Based Robots
    • 8
    • PDF
    Getting it Right the First Time: Verification of Behavior-based Multirobot Missions
    • PDF
    Multiarquitectura distribuida para el desarrollo de misiones multi-robot
    • PDF


    Designing autonomous robot missions with performance guarantees
    • 23
    • PDF
    Getting it right the first time: predicted performance guarantees from the analysis of emergent behavior in autonomous and semi-autonomous systems
    • 13
    • PDF
    Usability evaluation of high-level user assistance for robot mission specification
    • 92
    • PDF
    Evaluating the Usability of Robot Programming Toolsets
    • 66
    • PDF
    An Behavior-based Robotics
    • R. Arkin
    • Computer Science, Engineering
    • 1998
    • 3,289
    • PDF
    Motor Schema — Based Mobile Robot Navigation
    • R. Arkin
    • Engineering, Computer Science
    • Int. J. Robotics Res.
    • 1989
    • 1,175
    • PDF
    Multiagent Mission Specification and Execution
    • 293
    Analysis and Experimental Verification for Dynamic Modeling of A Skid-Steered Wheeled Vehicle
    • 89
    • PDF