{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T09:58:55Z","timestamp":1729677535883,"version":"3.28.0"},"reference-count":25,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013,11]]},"DOI":"10.1109\/iros.2013.6697122","type":"proceedings-article","created":{"date-parts":[[2014,1,6]],"date-time":"2014-01-06T12:10:53Z","timestamp":1389010253000},"page":"5292-5299","source":"Crossref","is-referenced-by-count":9,"title":["Getting it right the first time: Robot mission guarantees in the presence of uncertainty"],"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":[]},{"given":"T.-M","family":"Liu","sequence":"additional","affiliation":[]},{"given":"J.","family":"Deeb","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"19","doi-asserted-by":"publisher","DOI":"10.1023\/A:1008807102993"},{"journal-title":"Verifying Performance for Autonomous Robot Missions with Uncertainty","year":"2013","author":"lyons","key":"17"},{"key":"18","doi-asserted-by":"publisher","DOI":"10.1177\/027836499801700405"},{"key":"15","article-title":"Designing autonomous robot missions with performance guarantees","author":"lyons","year":"2013","journal-title":"IEEE\/RSJ IROS"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1016\/j.procs.2013.01.093"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1109\/ROBOT.2004.1308923"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1145\/2393091.2393116"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1109\/TRO.2011.2172150"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1109\/TR.1984.5221853"},{"key":"21","doi-asserted-by":"publisher","DOI":"10.1145\/1995376.1995394"},{"journal-title":"Configuration Network Language (CNL) User Manual College of Computing","year":"1996","author":"mackenzie","key":"20"},{"key":"22","doi-asserted-by":"publisher","DOI":"10.1177\/0278364911403018"},{"key":"23","article-title":"Inference in hybrid bayesian network using mixtures of gaussians","author":"shenoy","year":"2006","journal-title":"22nd Int Conf Uncertain in AI"},{"key":"24","doi-asserted-by":"publisher","DOI":"10.1016\/0022-0000(83)90028-4"},{"key":"25","doi-asserted-by":"crossref","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":"14th Int Conf on Computer Aided Verification Copenhagen Denmark"},{"key":"3","first-page":"78","volume":"9","author":"baier","year":"2010","journal-title":"Performance Evaluation and Model Checking Join Forces CACM"},{"key":"2","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","volume":"8387","author":"arkin","year":"2012","journal-title":"Proceedings of SPIE"},{"key":"10","article-title":"Specification and planning of uAV missions:A process algebra approach. Amer","author":"karaman","year":"2009","journal-title":"Control Conference"},{"journal-title":"Behavior-Based Robotics","year":"1998","author":"arkin","key":"1"},{"journal-title":"High-Integrity System Specification and Design FACIT Series","year":"1999","author":"hinchey","key":"7"},{"journal-title":"Model checking","year":"1999","author":"clark","key":"6"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1145\/355592.365646"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2004.07.036"},{"key":"9","article-title":"Probabilistic analysis of correctness of high-level robot behavior with sensor error","author":"johnson","year":"2011","journal-title":"Robotics Science and Systems"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1145\/1592434.1592438"}],"event":{"name":"2013 IEEE\/RSJ International Conference on Intelligent Robots and Systems (IROS 2013)","start":{"date-parts":[[2013,11,3]]},"location":"Tokyo","end":{"date-parts":[[2013,11,7]]}},"container-title":["2013 IEEE\/RSJ International Conference on Intelligent Robots and Systems"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6679723\/6696319\/06697122.pdf?arnumber=6697122","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,22]],"date-time":"2017-06-22T01:24:16Z","timestamp":1498094656000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6697122\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,11]]},"references-count":25,"URL":"https:\/\/doi.org\/10.1109\/iros.2013.6697122","relation":{},"subject":[],"published":{"date-parts":[[2013,11]]}}}