{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,30]],"date-time":"2025-08-30T16:34:50Z","timestamp":1756571690620},"reference-count":28,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013,12]]},"DOI":"10.1109\/cdc.2013.6760300","type":"proceedings-article","created":{"date-parts":[[2014,3,13]],"date-time":"2014-03-13T18:14:07Z","timestamp":1394734447000},"page":"2758-2763","source":"Crossref","is-referenced-by-count":3,"title":["Reconfiguration in motion planning of single- and multi-agent systems under infeasible local LTL specifications"],"prefix":"10.1109","author":[{"family":"Meng Guo","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Dimos V.","family":"Dimarogonas","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"19","doi-asserted-by":"publisher","DOI":"10.1109\/TRO.2009.2030225"},{"key":"17","doi-asserted-by":"publisher","DOI":"10.1016\/0196-8858(90)90017-S"},{"key":"18","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":"15","doi-asserted-by":"publisher","DOI":"10.1109\/TRO.2009.2035776"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2011.6160478"},{"key":"13","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":"14","doi-asserted-by":"publisher","DOI":"10.1109\/IROS.2012.6386215"},{"key":"11","article-title":"Revising motion planning under linear temporal logic specifications in partially known workspaces","author":"guo","year":"2013","journal-title":"IEEE International Conference on Robotics and Automation"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.2514\/6.2008-6838"},{"key":"21","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511546877"},{"key":"20","doi-asserted-by":"publisher","DOI":"10.1109\/TCST.2008.2012116"},{"key":"22","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA.2012.6225208"},{"key":"23","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2006.377631"},{"journal-title":"LTL2BA Software Fast Translation from LTL Formulae to B?uchi Automaton","year":"0","author":"oddoux","key":"24"},{"key":"25","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2012.2195811"},{"key":"26","doi-asserted-by":"crossref","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":"The Proceedings of Computer Aided Verification"},{"key":"27","article-title":"Optimal multi-robot path planning with LTL constraints: Guaranteeing correctness through synchronization","author":"ulusoy","year":"2012","journal-title":"International Symposium on Distributed Autonomous Robotic Systems"},{"key":"28","doi-asserted-by":"publisher","DOI":"10.1177\/0278364911417911"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1109\/MEMCOD.2004.1459815"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1109\/MRA.2011.942115"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2012.6426027"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1109\/ROBOT.2010.5509503"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA.2012.6225075"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511804441"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1109\/MRA.2007.339624"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1109\/TRO.2005.851359"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2008.08.008"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1109\/MRA.2011.942117"}],"event":{"name":"2013 IEEE 52nd Annual Conference on Decision and Control (CDC)","start":{"date-parts":[[2013,12,10]]},"location":"Firenze","end":{"date-parts":[[2013,12,13]]}},"container-title":["52nd IEEE Conference on Decision and Control"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6749719\/6759837\/06760300.pdf?arnumber=6760300","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,8]],"date-time":"2019-08-08T08:50:17Z","timestamp":1565254217000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6760300\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,12]]},"references-count":28,"URL":"https:\/\/doi.org\/10.1109\/cdc.2013.6760300","relation":{},"subject":[],"published":{"date-parts":[[2013,12]]}}}