{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,30]],"date-time":"2025-07-30T14:32:35Z","timestamp":1753885955955,"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.6224826","type":"proceedings-article","created":{"date-parts":[[2012,7,9]],"date-time":"2012-07-09T21:23:24Z","timestamp":1341869004000},"page":"5171-5176","source":"Crossref","is-referenced-by-count":19,"title":["On the revision problem of specification automata"],"prefix":"10.1109","author":[{"given":"Kangjin","family":"Kim","sequence":"first","affiliation":[]},{"given":"Georgios E.","family":"Fainekos","sequence":"additional","affiliation":[]},{"given":"Sriram","family":"Sankaranarayanan","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"19","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511546877"},{"key":"22","first-page":"422","article-title":"Conflict-driven disjunctive answer set solving","author":"drescher","year":"2008","journal-title":"Proceedings of the 11th International Conference on PKRR"},{"key":"17","doi-asserted-by":"publisher","DOI":"10.1109\/FMCAD.2009.5351127"},{"key":"18","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-22110-1_54"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1109\/FMCAD.2008.ECP.29"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-78163-9_9"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1002\/malq.19600060105"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA.2011.5979895"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1109\/TRO.2009.2030225"},{"key":"12","first-page":"101","article-title":"Receding horizon control for temporal logic specifications","author":"wongpiromsarn","year":"2010","journal-title":"Proceedings of the 13th ACM International Conference on Hybrid Systems Computation and Control"},{"key":"21","article-title":"Minisat v1.13: A sat solver with conflictclause minimization","author":"sorensson","year":"0","journal-title":"Proc of SAT Competition Solver Description 2005"},{"key":"3","article-title":"The motion grammar: Linguistic perception, planning, and control","author":"dantam","year":"2011","journal-title":"Robotics Science and Systems"},{"journal-title":"Model checking","year":"1999","author":"clarke","key":"20"},{"key":"2","first-page":"570","article-title":"Composition of motion description languages","volume":"4981","author":"zhang","year":"2008","journal-title":"LNCS"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2003.1271663"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1145\/1967701.1967748"},{"key":"7","article-title":"Automatic synthesis of multiagent motion tasks based on LTL specifications","author":"loizou","year":"0","journal-title":"Proceedings of the IEEE Conference on Decision and Control Dec 2004"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1109\/TRO.2009.2035776"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2008.08.008"},{"key":"4","article-title":"Decomposability of global tasks for multiagent systems","author":"karimadini","year":"0","journal-title":"Proc of the 49th IEEE CDC 2010"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2008.4739370"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1109\/ROBOT.2010.5509503"}],"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\/06224826.pdf?arnumber=6224826","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,21]],"date-time":"2017-03-21T15:26:53Z","timestamp":1490110013000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6224826\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,5]]},"references-count":22,"URL":"https:\/\/doi.org\/10.1109\/icra.2012.6224826","relation":{},"subject":[],"published":{"date-parts":[[2012,5]]}}}