Show simple item record

dc.contributor.authorJiang, Shu
dc.contributor.authorArkin, Ronald C.
dc.contributor.authorLyons, Damian M.
dc.contributor.authorLiu, Tsung-Ming
dc.contributor.authorHarrington, Dagan
dc.date.accessioned2013-11-26T17:26:43Z
dc.date.available2013-11-26T17:26:43Z
dc.date.issued2013
dc.identifier.urihttp://hdl.handle.net/1853/49632
dc.description.abstractRobotics 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.en_US
dc.language.isoen_USen_US
dc.publisherGeorgia Institute of Technologyen_US
dc.subjectCounter weapons of mass destructionen_US
dc.subjectCritical missionsen_US
dc.subjectFormal methodsen_US
dc.subjectMobile roboten_US
dc.subjectPerformance guaranteeen_US
dc.subjectVerificationen_US
dc.titlePerformance Guarantees for C - WMD Robot Missionsen_US
dc.typePaperen_US
dc.contributor.corporatenameGeorgia Institute of Technology. College of Computingen_US
dc.contributor.corporatenameGeorgia Institute of Technology. School of Interactive Computingen_US
dc.contributor.corporatenameGeorgia Institute of Technology. Mobile Robot Laboratoryen_US
dc.contributor.corporatenameGeorgia Institute of Technology. Center for Robotics and Intelligent Machinesen_US
dc.contributor.corporatenameFordham University. Dept. of Computer and Information Scienceen_US
dc.embargo.termsnullen_US


Files in this item

Thumbnail

This item appears in the following Collection(s)

  • Mobile Robot Laboratory Publications [187]
    Papers, pre/post-prints, and presentations by faculty and students in the Georgia Tech Mobile Robot Laboratory.
  • Mobile Robot Laboratory [187]
    Papers, pre/post-prints, and presentations by faculty and students in the Georgia Tech Mobile Robot Laboratory.

Show simple item record