{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,24]],"date-time":"2025-08-24T01:22:25Z","timestamp":1755998545127},"reference-count":23,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012,5]]},"DOI":"10.1109\/icra.2012.6224807","type":"proceedings-article","created":{"date-parts":[[2012,7,9]],"date-time":"2012-07-09T17:23:24Z","timestamp":1341854604000},"source":"Crossref","is-referenced-by-count":18,"title":["Automated feedback for unachievable high-level robot behaviors"],"prefix":"10.1109","author":[{"given":"Vasumathi","family":"Raman","sequence":"first","affiliation":[]},{"given":"Hadas","family":"Kress-Gazit","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"19","doi-asserted-by":"crossref","first-page":"171","DOI":"10.1007\/978-3-642-14295-6_18","article-title":"JTLV: A framework for developing verification algorithms","author":"pnueli","year":"2010","journal-title":"Computer Aided Verification"},{"key":"22","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-11623-0_7"},{"key":"17","first-page":"364","article-title":"Synthesis of reactive(1) designs","author":"piterman","year":"2006","journal-title":"Verification Model Checking and Abstract Interpretation"},{"key":"23","first-page":"101","article-title":"Receding horizon control for temporal logic specifications","author":"wongpiromsarn","year":"2010","journal-title":"ACM International Conference on Hybrid Systems Computation and Control"},{"key":"18","doi-asserted-by":"publisher","DOI":"10.1109\/SFCS.1977.32"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1002\/j.1538-7305.1959.tb01585.x"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2007.914952"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1163\/156855308X344864"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1109\/TRO.2009.2030225"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1109\/FMCAD.2009.5351127"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(82)90125-6"},{"key":"21","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-73370-6_11"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-14295-6_37"},{"key":"20","doi-asserted-by":"crossref","first-page":"663","DOI":"10.1007\/978-3-642-22110-1_54","article-title":"Analyzing unsynthesizable specifications for high-level robot behavior using LTLMoP","author":"raman","year":"2011","journal-title":"Computer Aided Verification"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1109\/ROBOT.2010.5509503"},{"key":"1","first-page":"94","article-title":"Explaining counterexamples using causality","author":"beer","year":"2009","journal-title":"Computer Aided Verification"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1109\/IROS.2010.5650371"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-73368-3_53"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-78163-9_9"},{"key":"5","article-title":"Environment assumptions for synthesis","author":"chatterjee","year":"0","journal-title":"International Conference on Concurrency Theory CONCUR '08 2008"},{"key":"4","author":"buehler","year":"0","journal-title":"The DARPA Urban Challenge Autonomous Vehicles in City Traffic"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA.2011.5979895"},{"key":"8","author":"clarke","year":"1999","journal-title":"Model checking"}],"event":{"name":"2012 IEEE International Conference on Robotics and Automation (ICRA)","location":"St Paul, MN, USA","start":{"date-parts":[[2012,5,14]]},"end":{"date-parts":[[2012,5,18]]}},"container-title":["2012 IEEE International Conference on Robotics and Automation"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/6215071\/6224548\/06224807.pdf?arnumber=6224807","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,30]],"date-time":"2019-06-30T15:06:41Z","timestamp":1561907201000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6224807\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,5]]},"references-count":23,"URL":"https:\/\/doi.org\/10.1109\/icra.2012.6224807","relation":{},"subject":[],"published":{"date-parts":[[2012,5]]}}}