{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T14:50:49Z","timestamp":1761663049579,"version":"3.28.0"},"reference-count":21,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011,12]]},"DOI":"10.1109\/cdc.2011.6160740","type":"proceedings-article","created":{"date-parts":[[2012,3,7]],"date-time":"2012-03-07T21:18:31Z","timestamp":1331155111000},"page":"2718-2723","source":"Crossref","is-referenced-by-count":30,"title":["Synthesis of distributed control and communication schemes from global LTL specifications"],"prefix":"10.1109","author":[{"given":"Yushan","family":"Chen","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":"PTL over product state spaces","author":"thiagarajan","year":"1995","journal-title":"Technical Report TCS-95-4 School of Mathematics"},{"doi-asserted-by":"publisher","key":"17","DOI":"10.1007\/BF01887206"},{"year":"1999","author":"clarke","journal-title":"Model checking","key":"18"},{"doi-asserted-by":"publisher","key":"15","DOI":"10.1109\/MEMCOD.2004.1459815"},{"key":"16","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":"Proc Conf Computer-Aided Verification"},{"doi-asserted-by":"publisher","key":"13","DOI":"10.1142\/9789814261456_0001"},{"doi-asserted-by":"publisher","key":"14","DOI":"10.1016\/S0304-3975(97)00219-3"},{"doi-asserted-by":"publisher","key":"11","DOI":"10.1109\/TRO.2009.2035776"},{"key":"12","first-page":"19","author":"mukund","year":"2002","journal-title":"From Global Specifications to Distributed Implementations"},{"doi-asserted-by":"publisher","key":"21","DOI":"10.1006\/inco.1994.1092"},{"key":"3","first-page":"4417","article-title":"Multi-robot motion planning: A timed automata approach","author":"quottrup","year":"2004","journal-title":"Proc ICRA"},{"doi-asserted-by":"publisher","key":"20","DOI":"10.1109\/CDC.2011.6160740"},{"doi-asserted-by":"publisher","key":"2","DOI":"10.1109\/M-RA.2007.914921"},{"doi-asserted-by":"publisher","key":"1","DOI":"10.1109\/TAC.2007.914952"},{"doi-asserted-by":"publisher","key":"10","DOI":"10.1109\/CDC.2006.377631"},{"year":"1989","author":"milner","journal-title":"Communication and Concurrency","key":"7"},{"doi-asserted-by":"publisher","key":"6","DOI":"10.1109\/5.871304"},{"key":"5","article-title":"A formal approach to deployment of robotic teams in an urban-like environment","author":"chen","year":"2010","journal-title":"DARS"},{"key":"4","first-page":"2222","article-title":"Sampling-based motion planning with deterministic ?-calculus specifications","author":"karaman","year":"2009","journal-title":"Proc CDC"},{"key":"9","first-page":"465","article-title":"Series of abstractions for hybrid automata","volume":"2289","author":"tiwari","year":"2002","journal-title":"Proc HSCC Ser LNCS"},{"doi-asserted-by":"publisher","key":"8","DOI":"10.1109\/TAC.2006.886494"}],"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\/06160740.pdf?arnumber=6160740","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,20]],"date-time":"2017-06-20T15:20:27Z","timestamp":1497972027000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6160740\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,12]]},"references-count":21,"URL":"https:\/\/doi.org\/10.1109\/cdc.2011.6160740","relation":{},"subject":[],"published":{"date-parts":[[2011,12]]}}}