{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,6]],"date-time":"2025-05-06T08:48:19Z","timestamp":1746521299773,"version":"3.28.0"},"reference-count":17,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008,5]]},"DOI":"10.1109\/robot.2008.4543239","type":"proceedings-article","created":{"date-parts":[[2008,6,16]],"date-time":"2008-06-16T18:43:38Z","timestamp":1213641818000},"page":"393-398","source":"Crossref","is-referenced-by-count":17,"title":["Distributed implementations of global temporal logic motion specifications"],"prefix":"10.1109","author":[{"given":"Marius","family":"Kloetzer","sequence":"first","affiliation":[]},{"given":"Calin","family":"Belta","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"17","article-title":"communication and concurrency","author":"milner","year":"1989","journal-title":"Englewood CliDs"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4757-6656-1_2"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1109\/ICNSC.2006.1673210"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2005.1582935"},{"year":"0","key":"14"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2004.1428622"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1109\/ROBOT.2004.1302413"},{"key":"3","doi-asserted-by":"crossref","first-page":"2968","DOI":"10.1109\/CDC.2001.980728","article-title":"virtual leaders, artificial potentials, and coordinated control of groups","author":"leonard","year":"2001","journal-title":"40th IEEE Conf Decision and Control"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2003.809765"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4615-4022-9"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1109\/ROBOT.1995.525480"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1109\/TRO.2005.851359"},{"key":"6","doi-asserted-by":"crossref","first-page":"21","DOI":"10.1016\/j.automatica.2003.08.001","article-title":"a control problem for affine dynamical systems on a full-dimensional polytope","volume":"40","author":"habets","year":"2004","journal-title":"Automatica"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-0931-7"},{"journal-title":"Model checking","year":"1999","author":"clarke","key":"4"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1109\/IROS.2006.281773"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2006.884957"}],"event":{"name":"2008 IEEE International Conference on Robotics and Automation. The Half-Day Workshop on: Towards Autonomous Agriculture of Tomorrow","start":{"date-parts":[[2008,5,19]]},"location":"Pasadena, CA","end":{"date-parts":[[2008,5,23]]}},"container-title":["2008 IEEE International Conference on Robotics and Automation"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/4534525\/4543169\/04543239.pdf?arnumber=4543239","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,5]],"date-time":"2019-04-05T03:02:03Z","timestamp":1554433323000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/4543239\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,5]]},"references-count":17,"URL":"https:\/\/doi.org\/10.1109\/robot.2008.4543239","relation":{},"subject":[],"published":{"date-parts":[[2008,5]]}}}