{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,4,30]],"date-time":"2025-04-30T04:18:51Z","timestamp":1745986731081,"version":"3.40.4"},"reference-count":28,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012,10]]},"DOI":"10.1109\/iros.2012.6385952","type":"proceedings-article","created":{"date-parts":[[2013,1,3]],"date-time":"2013-01-03T04:15:05Z","timestamp":1357186505000},"page":"2583-2590","source":"Crossref","is-referenced-by-count":11,"title":["Designing autonomous robot missions with performance guarantees"],"prefix":"10.1109","author":[{"given":"D.M.","family":"Lyons","sequence":"first","affiliation":[]},{"given":"R.C.","family":"Arkin","sequence":"additional","affiliation":[]},{"given":"P.","family":"Nirmal","sequence":"additional","affiliation":[]},{"given":"S.","family":"Jiang","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"19","doi-asserted-by":"publisher","DOI":"10.1109\/MRA.2011.942116"},{"key":"17","doi-asserted-by":"publisher","DOI":"10.1109\/M-RA.2007.905745"},{"key":"18","doi-asserted-by":"publisher","DOI":"10.1145\/1592434.1592438"},{"key":"15","first-page":"317","article-title":"The player\/stage project: Tools for multi-robot and distributed sensor systems","author":"gerkey","year":"2003","journal-title":"Proc 12th Int Conf Advanced Robotics"},{"journal-title":"Algebraic Theory of Processes","year":"1988","author":"hennessy","key":"16"},{"key":"13","doi-asserted-by":"crossref","first-page":"47","DOI":"10.3233\/FUN-2005-681-203","article-title":"$-calculus of bounded rational agents: Flexible optimization as search under bounded resources in interactive systems","volume":"68","author":"eberbach","year":"2005","journal-title":"Fundamenta Informatica"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCC.2004.826285"},{"key":"11","article-title":"A common control language to support multiple cooperating AUVs","author":"cuarte","year":"2005","journal-title":"Proc 10th Int Symp Unmanned Untethered Submersible Technology"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1109\/MRA.2011.942117"},{"key":"21","doi-asserted-by":"publisher","DOI":"10.1177\/027836499801700405"},{"key":"20","doi-asserted-by":"publisher","DOI":"10.1109\/ROBOT.2004.1308923"},{"key":"22","doi-asserted-by":"publisher","DOI":"10.1023\/A:1008807102993"},{"journal-title":"Configuration Network Language (CNL) User Manual","year":"1996","author":"mackenzie","key":"23"},{"journal-title":"MissionLab v7 0 User Manual","year":"0","key":"24"},{"key":"25","article-title":"ROS: An open-source robot operating system","author":"quigley","year":"2009","journal-title":"Proc Open-Source Softw Workshop Int Conf Robot Autom"},{"key":"26","doi-asserted-by":"publisher","DOI":"10.1137\/0325013"},{"key":"27","doi-asserted-by":"publisher","DOI":"10.1016\/0022-0000(83)90028-4"},{"key":"28","doi-asserted-by":"publisher","DOI":"10.1007\/s00477-006-0049-2"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1109\/AMC.2002.1026963"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1177\/027836498900800406"},{"journal-title":"Model checking","year":"1999","author":"clark","key":"10"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(94)90010-8"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1145\/1047568.1047569"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1109\/IROS.2005.1545467"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2004.07.036"},{"key":"4","article-title":"Getting it right the first time: Predicted performance guarantees from the analysis of emergent behavior in autonomous and semiautonomous systems","author":"arkin","year":"2012","journal-title":"SPIE Defense Security and Sensing Unmanned Systems Technology XIV"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4615-2241-6_13"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1145\/355592.365646"}],"event":{"name":"2012 IEEE\/RSJ International Conference on Intelligent Robots and Systems (IROS 2012)","start":{"date-parts":[[2012,10,7]]},"location":"Vilamoura-Algarve, Portugal","end":{"date-parts":[[2012,10,12]]}},"container-title":["2012 IEEE\/RSJ International Conference on Intelligent Robots and Systems"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/6363628\/6385431\/06385952.pdf?arnumber=6385952","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,4,29]],"date-time":"2025-04-29T15:46:28Z","timestamp":1745941588000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6385952\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,10]]},"references-count":28,"URL":"https:\/\/doi.org\/10.1109\/iros.2012.6385952","relation":{},"subject":[],"published":{"date-parts":[[2012,10]]}}}