{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,2]],"date-time":"2026-05-02T10:09:10Z","timestamp":1777716550131,"version":"3.51.4"},"reference-count":32,"publisher":"SAGE Publications","issue":"6","license":[{"start":{"date-parts":[[2015,3,20]],"date-time":"2015-03-20T00:00:00Z","timestamp":1426809600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/journals.sagepub.com\/page\/policies\/text-and-data-mining-license"}],"content-domain":{"domain":["journals.sagepub.com"],"crossmark-restriction":true},"short-container-title":["The International Journal of Robotics Research"],"published-print":{"date-parts":[[2015,5]]},"abstract":"<jats:p>The synthesis of verifiable robot controllers from a set of high-level task specifications provides a valuable tool for creating robot controllers for complex tasks. Such an approach can offer a number of advantages over more traditional programming methods, including the guarantee that the synthesized controller will satisfy all of its underlying specifications when operating with perfect sensing and actuation. This paper relaxes that assumption, and describes a method for probabilistically analyzing the behavior of a robot controller that is synthesized from a set of temporal logic specifications, when the robot operates with uncertainty in its sensing and actuation. The described approach creates a probabilistic model of the system and uses probabilistic model checking techniques to find the probability that it satisfies some set of specifications. In addition, the paper proposes a method which leverages that analysis to provide automated feedback to the user in the form of suggested revisions to the task specification or low-level components, in order to increase the probability that the robot successfully accomplishes its task.<\/jats:p>","DOI":"10.1177\/0278364914562980","type":"journal-article","created":{"date-parts":[[2015,3,20]],"date-time":"2015-03-20T23:06:21Z","timestamp":1426892781000},"page":"816-832","update-policy":"https:\/\/doi.org\/10.1177\/sage-journals-update-policy","source":"Crossref","is-referenced-by-count":13,"title":["Analyzing and revising synthesized controllers for robots with sensing and actuation errors"],"prefix":"10.1177","volume":"34","author":[{"given":"Benjamin","family":"Johnson","sequence":"first","affiliation":[{"name":"Cornell University, Ithaca, NY, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hadas","family":"Kress-Gazit","sequence":"additional","affiliation":[{"name":"Cornell University, Ithaca, NY, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"179","published-online":{"date-parts":[[2015,3,20]]},"reference":[{"key":"bibr1-0278364914562980","doi-asserted-by":"publisher","DOI":"10.1109\/ROBOT.2010.5509503"},{"key":"bibr2-0278364914562980","doi-asserted-by":"publisher","DOI":"10.1109\/IROS.2013.6696976"},{"key":"bibr3-0278364914562980","first-page":"572","author":"Conner D","year":"2007","journal-title":"Proceedings of IEEE\/RSJ"},{"key":"bibr4-0278364914562980","doi-asserted-by":"publisher","DOI":"10.1145\/210332.210339"},{"key":"bibr5-0278364914562980","volume-title":"18th IFAC world congress","author":"Ding XC","year":"2011"},{"key":"bibr6-0278364914562980","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA.2012.6225290"},{"key":"bibr7-0278364914562980","doi-asserted-by":"publisher","DOI":"10.1016\/B978-0-444-88074-1.50021-4"},{"key":"bibr8-0278364914562980","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA.2011.5979895"},{"key":"bibr9-0278364914562980","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-71493-4_18"},{"key":"bibr10-0278364914562980","first-page":"4885","author":"Fainekos G","year":"2006","journal-title":"Proceedings of the 44th IEEE conference on decision and control"},{"key":"bibr11-0278364914562980","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA.2012.6224980"},{"key":"bibr12-0278364914562980","doi-asserted-by":"publisher","DOI":"10.15607\/RSS.2011.VII.020"},{"key":"bibr13-0278364914562980","doi-asserted-by":"publisher","DOI":"10.1007\/s10514-012-9301-4"},{"key":"bibr14-0278364914562980","volume-title":"IEEE International conference on intelligent robots and systems (IROS)","author":"Johnson B","year":"2013"},{"key":"bibr15-0278364914562980","first-page":"2222","author":"Karaman S","year":"2009","journal-title":"IEEE conference on decision and control"},{"key":"bibr16-0278364914562980","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA.2012.6224826"},{"key":"bibr17-0278364914562980","doi-asserted-by":"publisher","DOI":"10.1007\/11730637_26"},{"key":"bibr18-0278364914562980","doi-asserted-by":"publisher","DOI":"10.1109\/IROS.2007.4398998"},{"key":"bibr19-0278364914562980","doi-asserted-by":"publisher","DOI":"10.1109\/ROBOT.2007.363946"},{"key":"bibr20-0278364914562980","doi-asserted-by":"publisher","DOI":"10.1109\/TRO.2009.2030225"},{"key":"bibr21-0278364914562980","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-22110-1_47"},{"key":"bibr22-0278364914562980","first-page":"126","volume":"33","author":"Kwiatkowska M","year":"2012","journal-title":"Software Safety and Security - Tools for Analysis and Verification"},{"key":"bibr23-0278364914562980","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2009.5400629"},{"key":"bibr24-0278364914562980","doi-asserted-by":"publisher","DOI":"10.1109\/ROBOT.2010.5509686"},{"key":"bibr25-0278364914562980","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2004.1428622"},{"key":"bibr26-0278364914562980","doi-asserted-by":"publisher","DOI":"10.1109\/IROS.2013.6697122"},{"key":"bibr27-0278364914562980","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA.2012.6224963"},{"key":"bibr28-0278364914562980","doi-asserted-by":"crossref","first-page":"364","DOI":"10.1007\/11609773_24","volume-title":"Verification, Model Checking, and Abstract Interpretation","volume":"3855","author":"Piterman N","year":"2006"},{"key":"bibr29-0278364914562980","doi-asserted-by":"publisher","DOI":"10.1109\/IROS.2013.6696436"},{"key":"bibr30-0278364914562980","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2006.886494"},{"key":"bibr31-0278364914562980","first-page":"5997","volume-title":"IEEE conference on decision and control (CDC)","author":"Wongpiromsarn T","year":"2009"},{"key":"bibr32-0278364914562980","author":"Wongpiromsarn T","year":"2010","journal-title":"AAAI spring symposium on embedded reasoning: intelligence in embedded systems"}],"container-title":["The International Journal of Robotics Research"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/journals.sagepub.com\/doi\/pdf\/10.1177\/0278364914562980","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/journals.sagepub.com\/doi\/full-xml\/10.1177\/0278364914562980","content-type":"application\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/journals.sagepub.com\/doi\/pdf\/10.1177\/0278364914562980","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,4,29]],"date-time":"2026-04-29T10:18:50Z","timestamp":1777457930000},"score":1,"resource":{"primary":{"URL":"https:\/\/journals.sagepub.com\/doi\/10.1177\/0278364914562980"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,3,20]]},"references-count":32,"journal-issue":{"issue":"6","published-print":{"date-parts":[[2015,5]]}},"alternative-id":["10.1177\/0278364914562980"],"URL":"https:\/\/doi.org\/10.1177\/0278364914562980","relation":{},"ISSN":["0278-3649","1741-3176"],"issn-type":[{"value":"0278-3649","type":"print"},{"value":"1741-3176","type":"electronic"}],"subject":[],"published":{"date-parts":[[2015,3,20]]}}}