{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,11]],"date-time":"2026-02-11T12:45:04Z","timestamp":1770813904825,"version":"3.50.1"},"reference-count":18,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016,12]]},"DOI":"10.1109\/cdc.2016.7799146","type":"proceedings-article","created":{"date-parts":[[2017,1,5]],"date-time":"2017-01-05T17:11:18Z","timestamp":1483636278000},"page":"5708-5713","source":"Crossref","is-referenced-by-count":32,"title":["Robotic swarm control from spatio-temporal specifications"],"prefix":"10.1109","author":[{"given":"Iman","family":"Haghighi","sequence":"first","affiliation":[]},{"given":"Sadra","family":"Sadraddini","sequence":"additional","affiliation":[]},{"given":"Calin","family":"Belta","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","first-page":"189","article-title":"SpaTeL: a novel spatial-temporal logic and its applications to networked systems","author":"haghighi","year":"2015","journal-title":"Proceedings of the 18th International Conference on Hybrid Systems Computation and Control"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.5772\/5769"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/ACC.2014.6859413"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2015.7402112"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/TCNS.2016.2609138"},{"key":"ref15","doi-asserted-by":"crossref","first-page":"152","DOI":"10.1007\/978-3-540-30206-3_12","article-title":"Monitoring temporal properties of continuous signals","author":"maler","year":"2004","journal-title":"Formal Techniques Modelling and Analysis of Timed and Fault-Tolerant Systems"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-11164-3_19"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2014.7039363"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/ALLERTON.2015.7447084"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1007\/11008941_27"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1007\/10991459_51"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/70.976029"},{"key":"ref5","first-page":"3181","article-title":"Formation control: a review and a new consideration","author":"chen","year":"2005","journal-title":"Intelligent Robots and Systems 2005 (IROS 2005) 2005 IEEE\/RSJ International Conference on"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2008.2006925"},{"key":"ref7","article-title":"Multi-robot control using time-varying density functions","author":"lee","year":"2014"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/ROBOT.2002.1014727"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/ROBOT.2008.4543197"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/TRO.2006.889492"}],"event":{"name":"2016 IEEE 55th Conference on Decision and Control (CDC)","location":"Las Vegas, NV, USA","start":{"date-parts":[[2016,12,12]]},"end":{"date-parts":[[2016,12,14]]}},"container-title":["2016 IEEE 55th Conference on Decision and Control (CDC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7786694\/7798233\/07799146.pdf?arnumber=7799146","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,17]],"date-time":"2019-09-17T05:41:24Z","timestamp":1568698884000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7799146\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,12]]},"references-count":18,"URL":"https:\/\/doi.org\/10.1109\/cdc.2016.7799146","relation":{},"subject":[],"published":{"date-parts":[[2016,12]]}}}