{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,29]],"date-time":"2024-10-29T12:20:30Z","timestamp":1730204430356,"version":"3.28.0"},"reference-count":22,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014,12]]},"DOI":"10.1109\/cdc.2014.7040356","type":"proceedings-article","created":{"date-parts":[[2015,2,17]],"date-time":"2015-02-17T14:53:59Z","timestamp":1424184839000},"page":"6173-6178","source":"Crossref","is-referenced-by-count":9,"title":["Automatic synthesis of cooperative multi-agent systems"],"prefix":"10.1109","author":[{"given":"Jin","family":"Dai","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hai","family":"Lin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/TRO.2009.2030225"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/3477.875442"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2011.01.078"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1080\/00207179.2011.631149"},{"key":"ref14","first-page":"48","article-title":"Automatic deployment of distributed teams of robots from temporal logic motion specifications","volume":"53","author":"kloetzer","year":"2008","journal-title":"IEEE Trans Autom Control"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4615-2217-1"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511546877"},{"key":"ref17","article-title":"Assumed-guarantee Cooperative Satisfaction of Multi-agent systems","author":"partovi","year":"2014","journal-title":"American Control Conference"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1007\/s10703-008-0049-6"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1137\/0325013"},{"journal-title":"Principles of Robot Motion Theory Algorithms and Implementations","year":"2005","author":"choset","key":"ref4"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1007\/978-0-387-68612-7"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/MRA.2011.942117"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/ICCA.2014.6870918"},{"key":"ref8","first-page":"181","article-title":"Modular supervisory control of a class of concurrent discrete event systems","author":"gaudin","year":"2004","journal-title":"Proceedings of the Workshop on Discrete Event Systems"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2008.08.008"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1016\/0890-5401(87)90052-6"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1007\/11513988_52"},{"key":"ref9","first-page":"3116","article-title":"Wheres Waldo? Sensor-based temporal logic motion planning","author":"kress-gazit","year":"2007","journal-title":"Proc IEEE Int Conf Robot Autom"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/5.21072"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1080\/00207179108934202"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/TCST.2008.924574"}],"event":{"name":"2014 IEEE 53rd Annual Conference on Decision and Control (CDC)","start":{"date-parts":[[2014,12,15]]},"location":"Los Angeles, CA, USA","end":{"date-parts":[[2014,12,17]]}},"container-title":["53rd IEEE Conference on Decision and Control"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7027307\/7039338\/07040356.pdf?arnumber=7040356","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,23]],"date-time":"2017-03-23T22:02:22Z","timestamp":1490306542000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7040356\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,12]]},"references-count":22,"URL":"https:\/\/doi.org\/10.1109\/cdc.2014.7040356","relation":{},"subject":[],"published":{"date-parts":[[2014,12]]}}}