{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,16]],"date-time":"2026-04-16T09:58:33Z","timestamp":1776333513321,"version":"3.51.2"},"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.6696434","type":"proceedings-article","created":{"date-parts":[[2014,1,6]],"date-time":"2014-01-06T12:10:53Z","timestamp":1389010253000},"page":"741-748","source":"Crossref","is-referenced-by-count":4,"title":["Analyzing and revising high-level robot behaviors under actuator error"],"prefix":"10.1109","author":[{"given":"Benjamin","family":"Johnson","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hadas","family":"Kress-Gazit","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"19","doi-asserted-by":"publisher","DOI":"10.1007\/s10514-012-9301-4"},{"key":"17","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA.2012.6225208"},{"key":"18","article-title":"Probabilistic analysis of correctness of high-level robot behavior with sensor error","author":"johnson","year":"2011","journal-title":"Proceedings of Robotics Science and Systems"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA.2012.6225290"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA.2012.6224963"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA.2012.6224980"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1109\/TRO.2011.2171093"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1109\/ROBOT.2010.5509686"},{"key":"12","article-title":"Automatic synthesis of robust embedded control software","author":"wongpiromsarn","year":"2010","journal-title":"AAAI Spring Symposium on Embedded Reasoning Intelligence in Embedded Systems"},{"key":"21","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA.2011.5979895"},{"key":"20","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA.2012.6224826"},{"key":"22","doi-asserted-by":"publisher","DOI":"10.1016\/B978-0-444-88074-1.50021-4"},{"key":"23","first-page":"364","article-title":"Synthesis of reactive (1) designs","author":"piterman","year":"2006","journal-title":"Verification Model Checking and Abstract"},{"key":"24","first-page":"585","article-title":"PRISM 4.0: Verification of probabilistic real-time systems","volume":"6806","author":"kwiatkowska","year":"2011","journal-title":"Proc 23rd International Conference on Computer Aided Verification (CAV'11) Ser LNCS"},{"key":"25","doi-asserted-by":"publisher","DOI":"10.1145\/210332.210339"},{"key":"3","doi-asserted-by":"crossref","first-page":"333","DOI":"10.1007\/11730637_26","article-title":"A fully automated framework for control of linear systems from ltl specifications","volume":"3927","author":"kloetzer","year":"2006","journal-title":"Hybrid Systems Computation and Control"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2005.1582935"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1109\/IROS.2010.5650371"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2004.1428622"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1109\/TRO.2009.2030225"},{"key":"6","first-page":"2222","article-title":"Sampling-based motion planning with deterministic -calculus specifications","author":"karaman","year":"2009","journal-title":"IEEE Conference on Decision and Control"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1109\/IROS.2007.4399374"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2006.886494"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1109\/ROBOT.2010.5509503"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2009.5400629"}],"event":{"name":"2013 IEEE\/RSJ International Conference on Intelligent Robots and Systems (IROS 2013)","location":"Tokyo","start":{"date-parts":[[2013,11,3]]},"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\/06696434.pdf?arnumber=6696434","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,22]],"date-time":"2017-06-22T01:23:21Z","timestamp":1498094601000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6696434\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,11]]},"references-count":25,"URL":"https:\/\/doi.org\/10.1109\/iros.2013.6696434","relation":{},"subject":[],"published":{"date-parts":[[2013,11]]}}}