{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,14]],"date-time":"2026-01-14T00:33:29Z","timestamp":1768350809755,"version":"3.49.0"},"reference-count":31,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013,5]]},"DOI":"10.1109\/icra.2013.6631295","type":"proceedings-article","created":{"date-parts":[[2013,10,21]],"date-time":"2013-10-21T22:11:25Z","timestamp":1382393485000},"page":"5025-5032","source":"Crossref","is-referenced-by-count":22,"title":["Revising motion planning under Linear Temporal Logic specifications in partially known workspaces"],"prefix":"10.1109","author":[{"family":"Meng Guo","sequence":"first","affiliation":[]},{"given":"Karl H.","family":"Johansson","sequence":"additional","affiliation":[]},{"given":"Dimos V.","family":"Dimarogonas","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"19","doi-asserted-by":"publisher","DOI":"10.1016\/0196-8858(90)90017-S"},{"key":"17","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2007.914952"},{"key":"18","doi-asserted-by":"publisher","DOI":"10.1109\/TRO.2009.2035776"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.2514\/6.2008-6838"},{"key":"16","first-page":"5171","article-title":"On the revision problem of specification automaton","author":"kim","year":"2012","journal-title":"IEEE International Conference on Robotics and Automation"},{"key":"13","author":"holzmann","year":"1997","journal-title":"On Nested Depth First Search"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1177\/0278364911406761"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA.2011.5979895"},{"key":"12","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-44585-4_6","article-title":"Fast LTL to B?uchi automaton translation","author":"gastin","year":"2001","journal-title":"Proceedings of the 13th International Conference on Computer Aided Verification (CAV'01)"},{"key":"21","doi-asserted-by":"publisher","DOI":"10.1109\/TRO.2009.2030225"},{"key":"20","article-title":"Correct, reactive robot control from abstraction and temporal logic specifications","author":"kress-gazit","year":"2011","journal-title":"IEEE Robotics and Automation magazine"},{"key":"22","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511546877"},{"key":"23","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA.2012.6225208"},{"key":"24","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2006.377631"},{"key":"25","author":"oddoux","year":"0","journal-title":"LTL2BA Software Fast Translation from LTL Formulae to B?uchi Automaton"},{"key":"26","doi-asserted-by":"publisher","DOI":"10.1109\/ROBOT.2009.5152397"},{"key":"27","first-page":"364","article-title":"Synthesis of reactive(1) designs","author":"piterman","year":"2006","journal-title":"Proc VMCAI"},{"key":"28","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA.2012.6224792"},{"key":"29","first-page":"332","article-title":"An automaton-theoretic approach to automatic program verification","author":"vardi","year":"1986","journal-title":"IEEE Computer Society"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1109\/MRA.2007.339624"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1109\/TRO.2005.851359"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2008.08.008"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1109\/MEMCOD.2004.1459815"},{"key":"30","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2012.6426174"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1109\/ROBOT.1998.680621"},{"key":"6","author":"clarke","year":"1999","journal-title":"Model checking"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4615-3556-0_5"},{"key":"31","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2009.5399536"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA.2012.6225075"},{"key":"9","article-title":"LTL control in uncertain environments with probabilistic satisfaction guarantees","author":"ding","year":"2011","journal-title":"18th IFAC World Congress"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1109\/MRA.2011.942117"}],"event":{"name":"2013 IEEE International Conference on Robotics and Automation (ICRA)","location":"Karlsruhe, Germany","start":{"date-parts":[[2013,5,6]]},"end":{"date-parts":[[2013,5,10]]}},"container-title":["2013 IEEE International Conference on Robotics and Automation"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6615630\/6630547\/06631295.pdf?arnumber=6631295","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,22]],"date-time":"2017-06-22T00:19:13Z","timestamp":1498090753000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6631295\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,5]]},"references-count":31,"URL":"https:\/\/doi.org\/10.1109\/icra.2013.6631295","relation":{},"subject":[],"published":{"date-parts":[[2013,5]]}}}