{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,3]],"date-time":"2026-06-03T15:38:44Z","timestamp":1780501124853,"version":"3.54.1"},"reference-count":22,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017,12]]},"DOI":"10.1109\/cdc.2017.8264316","type":"proceedings-article","created":{"date-parts":[[2018,1,23]],"date-time":"2018-01-23T15:30:57Z","timestamp":1516721457000},"page":"4452-4457","source":"Crossref","is-referenced-by-count":46,"title":["Distributed communication-aware motion planning for multi-agent systems from STL and SpaTeL specifications"],"prefix":"10.1109","author":[{"given":"Zhiyu","family":"Liu","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Bo","family":"Wu","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Jin","family":"Dai","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Hai","family":"Lin","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/TWC.2013.021213.120138"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1016\/j.ifacol.2015.11.179"},{"key":"ref12","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":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2016.7799146"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.23919\/ACC.2017.7963331"},{"key":"ref15","volume":"34","author":"molisch","year":"2012","journal-title":"Wireless Communications"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1145\/2728606.2728633"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/TCNS.2016.2609138"},{"key":"ref18","article-title":"Optimal control: an introduction to the theory and its applications","volume":"courier corporation","author":"athans","year":"2013"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/ACC.2002.1023918"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2008.08.008"},{"key":"ref3","author":"wu","year":"2017","journal-title":"A learning based optimal human robot collaboration with linear temporal logic constraints"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2009.5400278"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2007.914952"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2012.2195811"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1002\/rnc.1715"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/MRA.2007.339624"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/TII.2012.2219061"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1007\/s10846-014-0090-1"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2014.7039363"},{"key":"ref22","first-page":"1","article-title":"Gurobi optimizer reference manual","volume":"2","author":"gu","year":"2012"},{"key":"ref21","volume":"117","author":"fourer","year":"1993","journal-title":"AMPL"}],"event":{"name":"2017 IEEE 56th Annual Conference on Decision and Control (CDC)","location":"Melbourne, Australia","start":{"date-parts":[[2017,12,12]]},"end":{"date-parts":[[2017,12,15]]}},"container-title":["2017 IEEE 56th Annual Conference on Decision and Control (CDC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8253407\/8263624\/08264316.pdf?arnumber=8264316","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,10,9]],"date-time":"2019-10-09T14:28:52Z","timestamp":1570631332000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/8264316\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,12]]},"references-count":22,"URL":"https:\/\/doi.org\/10.1109\/cdc.2017.8264316","relation":{},"subject":[],"published":{"date-parts":[[2017,12]]}}}