{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T20:42:58Z","timestamp":1729629778662,"version":"3.28.0"},"reference-count":43,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013,10]]},"DOI":"10.1109\/ssrr.2013.6719332","type":"proceedings-article","created":{"date-parts":[[2014,1,24]],"date-time":"2014-01-24T21:24:07Z","timestamp":1390598647000},"page":"1-8","source":"Crossref","is-referenced-by-count":3,"title":["Performance guarantees for C-WMD robot missions"],"prefix":"10.1109","author":[{"given":"Shu","family":"Jiang","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ronald C.","family":"Arkin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Damian M.","family":"Lyons","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tsung-Ming","family":"Liu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Dagan","family":"Harrington","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"19","doi-asserted-by":"publisher","DOI":"10.1109\/ROBOT.2010.5509402"},{"key":"17","doi-asserted-by":"crossref","first-page":"22","DOI":"10.1109\/MRA.2011.942486","article-title":"Robot challenges: Toward development of verification and synthesis techniques","volume":"18","author":"van de","year":"2011","journal-title":"Robotics &Automation Magazine IEEE"},{"key":"35","doi-asserted-by":"crossref","DOI":"10.1117\/12.918128","article-title":"Getting it right the first time: Predicted performance guarantees from the analysis of emergent behavior in autonomous and semi-autonomous systems","author":"arkin","year":"2012","journal-title":"Proc of SPIE"},{"key":"18","doi-asserted-by":"publisher","DOI":"10.1109\/MRA.2011.942116"},{"key":"36","doi-asserted-by":"publisher","DOI":"10.1145\/1592434.1592438"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1163\/156855309X452502"},{"key":"33","doi-asserted-by":"publisher","DOI":"10.1016\/j.ic.2006.05.002"},{"journal-title":"Safety Verification and Failure Analysis of Goal-based Hybrid Control Systems","year":"2009","author":"braman","key":"16"},{"key":"34","doi-asserted-by":"publisher","DOI":"10.1023\/A:1008807102993"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.2225\/vol2-issue3-fulltext-2"},{"key":"39","doi-asserted-by":"publisher","DOI":"10.1145\/355592.365646"},{"key":"14","article-title":"The evolution of chemical, biological, radiological, and nuclear defense and the contributions of army research and development","author":"doesburg","year":"2004","journal-title":"NBC Report the United States Army Nuclear and Chemical Agency"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1126\/science.283.5406.1279"},{"key":"37","doi-asserted-by":"publisher","DOI":"10.1007\/10722167_15"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1001\/jama.278.5.431"},{"key":"38","doi-asserted-by":"publisher","DOI":"10.1145\/244795.244800"},{"key":"21","doi-asserted-by":"publisher","DOI":"10.1109\/TRO.2011.2172150"},{"key":"20","doi-asserted-by":"publisher","DOI":"10.1109\/MRA.2011.942117"},{"key":"43","doi-asserted-by":"publisher","DOI":"10.1109\/IROS.2003.1249681"},{"key":"42","doi-asserted-by":"publisher","DOI":"10.1109\/IROS.2013.6697122"},{"journal-title":"Behavior-Based Robotics","year":"1998","author":"arkin","key":"41"},{"key":"40","article-title":"Verifying performance for autonomous robot missions with uncertainty","author":"lyons","year":"2013","journal-title":"IFAC Intelligent Vehicle Symposium"},{"key":"22","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA.2013.6631152"},{"key":"23","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA.2013.6631296"},{"key":"24","doi-asserted-by":"publisher","DOI":"10.1109\/MRA.2007.339624"},{"key":"25","doi-asserted-by":"publisher","DOI":"10.1109\/ROBOT.2004.1302413"},{"key":"26","doi-asserted-by":"publisher","DOI":"10.1145\/636517.636532"},{"key":"27","doi-asserted-by":"publisher","DOI":"10.4204\/EPTCS.20.3"},{"key":"28","first-page":"1410","article-title":"Towards automatic verification of autonomous systems","author":"simmons","year":"2000","journal-title":"IEEE\/RSJ International Conference on Intelligent Robots and Systems (IROS)"},{"key":"29","first-page":"3108","article-title":"Temporal logic control in dynamic environments with probabilistic satisfaction guarantees","author":"ayala","year":"2011","journal-title":"IEEE\/RSJ International Conference on Intelligent Robots and Systems (IROS)"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1109\/MIS.2002.999224"},{"key":"2","article-title":"Military role in countering terrorist use of weapons of mass destruction","author":"dickinson","year":"1999","journal-title":"No AU\/AWC\/093\/1999-04 Air War College"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2004.07.036"},{"key":"1","article-title":"Terrorism and weapons of mass destruction","author":"intriligator","year":"2006","journal-title":"Countering Terrorism and WMD Creating A Global Counter-terrorism Network"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1016\/j.jns.2006.06.017"},{"key":"30","doi-asserted-by":"publisher","DOI":"10.1109\/MRA.2011.942112"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1002\/rob.21439"},{"key":"32","doi-asserted-by":"crossref","first-page":"223","DOI":"10.1007\/3-540-45657-0_17","article-title":"Probabilistic verification of discrete event systems using acceptance sampling","author":"younes","year":"2002","journal-title":"Computer Aided Verification"},{"key":"5","doi-asserted-by":"crossref","first-page":"367","DOI":"10.1109\/TSMCB.2003.811794","article-title":"Human-robot interactions during the robot-assisted urban search and rescue response at the world trade center","volume":"33","author":"casper","year":"2003","journal-title":"IEEE Transactions on Systems Man and Cybernetics Part B Cybernetics"},{"key":"31","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-19829-8_10"},{"key":"4","first-page":"39","article-title":"Robocup rescue: A grand challenge for multiagent and intelligent systems","volume":"22","author":"kitano","year":"2001","journal-title":"AI Magazine"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1109\/IROS.2012.6385952"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1016\/j.procs.2013.01.093"}],"event":{"name":"2013 IEEE International Symposium on Safety, Security, and Rescue Robotics (SSRR)","start":{"date-parts":[[2013,10,21]]},"location":"Linkoping, Sweden","end":{"date-parts":[[2013,10,26]]}},"container-title":["2013 IEEE International Symposium on Safety, Security, and Rescue Robotics (SSRR)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6708581\/6719314\/06719332.pdf?arnumber=6719332","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,22]],"date-time":"2017-06-22T06:38:56Z","timestamp":1498113536000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6719332\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,10]]},"references-count":43,"URL":"https:\/\/doi.org\/10.1109\/ssrr.2013.6719332","relation":{},"subject":[],"published":{"date-parts":[[2013,10]]}}}