Performance guarantees for C-WMD robot missions


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 paper describes the system architecture and discusses how the verification framework can be used to provide pre-mission performance guarantees for robots in executing C-WMD missions.

DOI: 10.1109/SSRR.2013.6719332

Extracted Key Phrases

7 Figures and Tables

Cite this paper

@article{Jiang2013PerformanceGF, title={Performance guarantees for C-WMD robot missions}, author={Shu Jiang and Ronald C. Arkin and Damian M. Lyons and Tsung-Ming Liu and Dagan Harrington}, journal={2013 IEEE International Symposium on Safety, Security, and Rescue Robotics (SSRR)}, year={2013}, pages={1-8} }