{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T10:43:23Z","timestamp":1761648203907,"version":"3.28.0"},"reference-count":16,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014,5]]},"DOI":"10.1109\/icra.2014.6907487","type":"proceedings-article","created":{"date-parts":[[2014,9,30]],"date-time":"2014-09-30T16:32:36Z","timestamp":1412094756000},"page":"4316-4321","source":"Crossref","is-referenced-by-count":20,"title":["Synthesis for multi-robot controllers with interleaved motion"],"prefix":"10.1109","author":[{"given":"Vasumathi","family":"Raman","sequence":"first","affiliation":[]},{"given":"Hadas","family":"Kress-Gazit","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/TRO.2009.2035776"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/COASE.2008.4626521"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/TRO.2009.2030225"},{"key":"ref13","first-page":"153","article-title":"Automatic synthesis of multiagent motion tasks based on ltl specifications","author":"loizou","year":"2004","journal-title":"CDC"},{"key":"ref14","first-page":"364","article-title":"Synthesis of reactive(1) designs","author":"amir pnueli","year":"2006","journal-title":"VMCAI"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA.2013.6631152"},{"key":"ref16","doi-asserted-by":"crossref","first-page":"101","DOI":"10.1145\/1755952.1755968","article-title":"Receding horizon control for temporal logic specifications","author":"wongpiromsarn","year":"2010","journal-title":"HSCC"},{"key":"ref4","first-page":"2689","article-title":"Sampling-based motion planning with temporal goals","author":"amit","year":"2010","journal-title":"ICRA"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/TRO.2005.851359"},{"journal-title":"Model checking","year":"1999","author":"clarke","key":"ref6"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/TRO.2011.2163434"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2009.5400278"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/IROS.2003.1249705"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/TRO.2010.2062070"},{"key":"ref1","doi-asserted-by":"crossref","first-page":"971","DOI":"10.1109\/5.871304","article-title":"Discrete abstractions of hybrid systems","volume":"88","author":"rajeev","year":"2000","journal-title":"Proceedings of the IEEE"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/TRO.2006.889492"}],"event":{"name":"2014 IEEE International Conference on Robotics and Automation (ICRA)","start":{"date-parts":[[2014,5,31]]},"location":"Hong Kong, China","end":{"date-parts":[[2014,6,7]]}},"container-title":["2014 IEEE International Conference on Robotics and Automation (ICRA)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6895053\/6906581\/06907487.pdf?arnumber=6907487","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,22]],"date-time":"2017-06-22T17:31:29Z","timestamp":1498152689000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6907487\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,5]]},"references-count":16,"URL":"https:\/\/doi.org\/10.1109\/icra.2014.6907487","relation":{},"subject":[],"published":{"date-parts":[[2014,5]]}}}