{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T09:57:53Z","timestamp":1729677473756,"version":"3.28.0"},"reference-count":22,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012,5]]},"DOI":"10.1109\/icra.2012.6224980","type":"proceedings-article","created":{"date-parts":[[2012,7,9]],"date-time":"2012-07-09T21:23:24Z","timestamp":1341869004000},"page":"330-337","source":"Crossref","is-referenced-by-count":5,"title":["Execution and analysis of high-level tasks with dynamic obstacle anticipation"],"prefix":"10.1109","author":[{"given":"Benjamin","family":"Johnson","sequence":"first","affiliation":[]},{"given":"Frank","family":"Havlak","sequence":"additional","affiliation":[]},{"given":"Mark","family":"Campbell","sequence":"additional","affiliation":[]},{"given":"Hadas","family":"Kress-Gazit","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"19","doi-asserted-by":"publisher","DOI":"10.1109\/ROBOT.2010.5509686"},{"key":"22","first-page":"5997","article-title":"Receding horizon temporal logic planning","author":"wongpiromsarn","year":"2009","journal-title":"IEEE Conf on Decision and Control (CDC)"},{"key":"17","first-page":"585","article-title":"PRISM 4.0: Verification of probabilistic real-time systems","volume":"6806","author":"kwiatkowska","year":"2011","journal-title":"LNCS"},{"key":"18","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2009.5400629"},{"key":"15","first-page":"1370","article-title":"Temporal-logic-based reactive mission and motion planning. Robotics","volume":"25","author":"kress-gazit","year":"2009","journal-title":"IEEE Transactions on"},{"key":"16","first-page":"7","article-title":"PRISM: Probabilistic symbolic model checker","author":"kwiatkowska","year":"2001","journal-title":"Proc Tools Session of Aachen 2001 International Multiconference on Measurement Modeling and Evaluation of Computer-Communication Systems"},{"key":"13","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":"14","doi-asserted-by":"publisher","DOI":"10.1109\/ROBOT.2007.363946"},{"key":"11","article-title":"Probabilistic analysis of correctness of high-level robot behavior with sensor error","author":"johnson","year":"0","journal-title":"Proceedings of Robotics Science and Systems Los Angeles CA USA June 2011"},{"key":"12","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":"21","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2006.886494"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1109\/ROBOT.2010.5509278"},{"key":"20","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2004.1428622"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1109\/IROS.2007.4399374"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1109\/ROBOT.2010.5509503"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1117\/12.868573"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1109\/IVS.2008.4621214"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2005.1582935"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1016\/B978-0-444-88074-1.50021-4"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1109\/TRO.2011.2116190"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1109\/IROS.2010.5652763"},{"key":"8","article-title":"Probabilistic rapidly-exploring random trees for autonomous navigation among moving obstacles","author":"fulgenzi","year":"0","journal-title":"Workshop on Safe Navigation IEEE International Conference on Robotics and Automation (ICRA) 2009"}],"event":{"name":"2012 IEEE International Conference on Robotics and Automation (ICRA)","start":{"date-parts":[[2012,5,14]]},"location":"St Paul, MN, USA","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\/06224980.pdf?arnumber=6224980","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,20]],"date-time":"2017-06-20T21:07:59Z","timestamp":1497992879000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6224980\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,5]]},"references-count":22,"URL":"https:\/\/doi.org\/10.1109\/icra.2012.6224980","relation":{},"subject":[],"published":{"date-parts":[[2012,5]]}}}