{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,31]],"date-time":"2026-03-31T14:17:03Z","timestamp":1774966623898,"version":"3.50.1"},"reference-count":28,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017,5]]},"DOI":"10.23919\/acc.2017.7963331","type":"proceedings-article","created":{"date-parts":[[2017,7,10]],"date-time":"2017-07-10T21:39:58Z","timestamp":1499722798000},"page":"2516-2521","source":"Crossref","is-referenced-by-count":37,"title":["Communication-aware motion planning for multi-agent systems from signal temporal logic specifications"],"prefix":"10.23919","author":[{"given":"Zhiyu","family":"Liu","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jin","family":"Dai","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bo","family":"Wu","sequence":"additional","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.1177\/0278364914546174"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2012.2195811"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2016.04.006"},{"key":"ref13","doi-asserted-by":"crossref","first-page":"48","DOI":"10.1109\/TRO.2009.2035776","article-title":"Automatic deployment of distributed teams of robots from temporal logic motion specifications","volume":"26","author":"kloetzer","year":"2010","journal-title":"IEEE Transactions on Robotics"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1177\/0278364913487931"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1002\/rnc.1715"},{"key":"ref16","doi-asserted-by":"crossref","first-page":"224","DOI":"10.1016\/j.ifacol.2015.11.179","article-title":"Combined top-down and bottom-up approach to cooperative distributed multi-agent control with connectivity constraints","volume":"48","author":"wu","year":"2015","journal-title":"IFAC-PapersOnLine"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/TWC.2013.021213.120138"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/TCNS.2014.2337971"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2009.06.021"},{"key":"ref28","article-title":"A comprehensive overview and characterization of wireless channels for networked robotic and control systems","volume":"2011","author":"gonzalez-ruiz","year":"2012","journal-title":"Journal of Robotics"},{"key":"ref4","author":"baier","year":"2008","journal-title":"Principles of Model Checking"},{"key":"ref27","author":"fourer","year":"1994","journal-title":"AMPL A Modeling Language for Mathematical Programming"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1177\/0278364911406761"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2007.914952"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/MRA.2007.339624"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/ACC.2016.7526535"},{"key":"ref7","doi-asserted-by":"crossref","first-page":"1370","DOI":"10.1109\/TRO.2009.2030225","article-title":"Temporal-logic-based reactive mission and motion planning","volume":"25","author":"kress-gazit","year":"2009","journal-title":"IEEE Transactions on Robotics"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511546877"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2012.6426027"},{"key":"ref1","author":"choset","year":"2005","journal-title":"Principles of Robot Motion Theory Algorithms and Implementation"},{"key":"ref20","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":"ref22","first-page":"239","article-title":"Reactive synthesis from signal temporal logic specifications","author":"raman","year":"2015","journal-title":"Proceedings of the 18th International Conference on Hybrid Systems Computation and Control (HSCC)"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2014.7039363"},{"key":"ref24","author":"athans","year":"2013","journal-title":"Optimal control an introduction to the theory and its applications Courier Corporation"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2013.2262013"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1137\/1.9780898717730"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/ACC.2002.1023918"}],"event":{"name":"2017 American Control Conference (ACC)","location":"Seattle, WA, USA","start":{"date-parts":[[2017,5,24]]},"end":{"date-parts":[[2017,5,26]]}},"container-title":["2017 American Control Conference (ACC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7951530\/7962914\/07963331.pdf?arnumber=7963331","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,6,23]],"date-time":"2021-06-23T20:00:56Z","timestamp":1624478456000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/7963331\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,5]]},"references-count":28,"URL":"https:\/\/doi.org\/10.23919\/acc.2017.7963331","relation":{},"subject":[],"published":{"date-parts":[[2017,5]]}}}