{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,22]],"date-time":"2025-10-22T10:29:55Z","timestamp":1761128995608},"reference-count":26,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011,12]]},"DOI":"10.1109\/cdc.2011.6160478","type":"proceedings-article","created":{"date-parts":[[2012,3,7]],"date-time":"2012-03-07T21:18:31Z","timestamp":1331155111000},"page":"4867-4872","source":"Crossref","is-referenced-by-count":41,"title":["Multi-robot deployment from LTL specifications with reduced communication"],"prefix":"10.1109","author":[{"given":"Marius","family":"Kloetzer","sequence":"first","affiliation":[]},{"given":"Xu Chu","family":"Ding","sequence":"additional","affiliation":[]},{"given":"Calin","family":"Belta","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"19","article-title":"A formal approach to deployment of robotic teams in an urban-like environment","author":"chen","year":"2010","journal-title":"10th International Symposium on Distributed Autonomous Robotics Systems (DARS 2010)"},{"key":"17","doi-asserted-by":"publisher","DOI":"10.1109\/TRO.2009.2035776"},{"key":"18","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4757-6656-1_2"},{"journal-title":"Communication and Concurrency","year":"1989","author":"milner","key":"15"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1109\/32.588521"},{"key":"13","doi-asserted-by":"crossref","DOI":"10.15607\/RSS.2006.II.008","article-title":"Integrated planning and control for convex-bodied nonholonomic systems using local feedback control policies","author":"conner","year":"2006","journal-title":"Proc Robotics Science and Systems"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2006.876952"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1109\/5.871304"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1177\/02783649922066385"},{"journal-title":"cdd\/cdd+ package","year":"0","author":"fukuda","key":"21"},{"journal-title":"Triangle","year":"0","author":"shewchuk","key":"20"},{"key":"22","doi-asserted-by":"crossref","first-page":"53","DOI":"10.1007\/3-540-44585-4_6","article-title":"Fast LTL to bu?chi automata translation","author":"gastin","year":"2001","journal-title":"Conf on Computer Aided Verification Ser Lecture Notes in Computer Science"},{"key":"23","doi-asserted-by":"publisher","DOI":"10.1109\/ROBOT.1998.680621"},{"key":"24","doi-asserted-by":"publisher","DOI":"10.1109\/SFCS.1983.51"},{"key":"25","doi-asserted-by":"publisher","DOI":"10.1109\/TRO.2005.851359"},{"key":"26","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2011.6160478"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1177\/02783640122067453"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1109\/70.163777"},{"journal-title":"Model checking","year":"1999","author":"clarke","key":"10"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511546877"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2004.1428622"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1109\/ROBOT.2007.363946"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2007.914952"},{"key":"4","first-page":"2222","article-title":"Sampling-based motion planning with deterministic ?-calculus specifications","author":"karaman","year":"2009","journal-title":"IEEE Conf on Decision and Control"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2009.5399536"},{"key":"8","first-page":"4417","article-title":"Multi-robot motion planning: A timed automata approach","author":"quottrup","year":"2004","journal-title":"IEEE Int Conf on Robotics and Automation"}],"event":{"name":"2011 50th IEEE Conference on Decision and Control and European Control Conference (CDC-ECC 2011)","start":{"date-parts":[[2011,12,12]]},"location":"Orlando, FL, USA","end":{"date-parts":[[2011,12,15]]}},"container-title":["IEEE Conference on Decision and Control and European Control Conference"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/6149620\/6159299\/06160478.pdf?arnumber=6160478","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,25]],"date-time":"2019-06-25T02:01:30Z","timestamp":1561428090000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6160478\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,12]]},"references-count":26,"URL":"https:\/\/doi.org\/10.1109\/cdc.2011.6160478","relation":{},"subject":[],"published":{"date-parts":[[2011,12]]}}}