Performance guarantees for C-WMD robot missions

  title={Performance guarantees for C-WMD robot missions},
  author={Shu Jiang and R. Arkin and D. Lyons and Tsung-Ming Liu and D. Harrington},
  journal={2013 IEEE International Symposium on Safety, Security, and Rescue Robotics (SSRR)},
  • Shu Jiang, R. Arkin, +2 authors D. Harrington
  • Published 2013
  • Computer Science
  • 2013 IEEE International Symposium on Safety, Security, and Rescue Robotics (SSRR)
  • Robotics has been considered as one of the five key technology areas for defense against attacks with weapons of mass destruction (WMD). However, due to the mass impact nature of WMD, failures of counter-WMD (C-WMD) missions can have catastrophic consequences. To ensure robots' success in carrying out C-WMD missions, we have developed a novel verification framework in providing performance guarantees for behavior-based and probabilistic robot algorithms in complex real-world environments. This… CONTINUE READING
    Automatic Verification of Autonomous Robot Missions
    • 25
    • PDF
    9-2014 Verifying and Validating Multirobot Missions
    Stochastic hybrid systems modeling and performance verification of behavior-based robots
    Multiarquitectura distribuida para el desarrollo de misiones multi-robot


    Publications referenced by this paper.
    An Behavior-based Robotics
    • R. Arkin
    • Computer Science, Engineering
    • 1998
    • 3,190
    • PDF
    Robotic Surgery
    • 235