{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,17]],"date-time":"2026-03-17T19:01:29Z","timestamp":1773774089271,"version":"3.50.1"},"reference-count":26,"publisher":"IEEE","license":[{"start":{"date-parts":[[2022,8,23]],"date-time":"2022-08-23T00:00:00Z","timestamp":1661212800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2022,8,23]],"date-time":"2022-08-23T00:00:00Z","timestamp":1661212800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2022,8,23]]},"DOI":"10.1109\/ccta49430.2022.9966096","type":"proceedings-article","created":{"date-parts":[[2022,12,8]],"date-time":"2022-12-08T18:41:14Z","timestamp":1670524874000},"page":"476-483","source":"Crossref","is-referenced-by-count":3,"title":["Distributed Trajectory Planning for Multi-rotor UAVs with Signal Temporal Logic Objectives"],"prefix":"10.1109","author":[{"given":"Yash Vardhan","family":"Pant","sequence":"first","affiliation":[{"name":"University of Waterloo,Department of Electrical and Computer Engineering,Waterloo,Canada"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Houssam","family":"Abbas","sequence":"additional","affiliation":[{"name":"School of Electrical Engineering and Computer Science, Oregon State University,Corvallis,USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rahul","family":"Mangharam","sequence":"additional","affiliation":[{"name":"University of Pennsylvania,Department of Electrical and Systems Engineering,Philadelphia,PA,USA"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1145\/3049797.3049819"},{"key":"ref11","article-title":"Control barrier functions for signal temporal logic tasks","author":"lindemann","year":"2019","journal-title":"Systems & Control Letters"},{"key":"ref12","article-title":"Recurrent neural network controllers for signal temporal logic specifications subject to safety constraints","author":"liu","year":"2021","journal-title":"Systems & Control Letters"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2017.8264316"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.23919\/ACC.2018.8431695"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/TCNS.2020.3014602"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/LRA.2021.3098059"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1145\/3055004.3055022"},{"key":"ref18","author":"maler","year":"2004","journal-title":"Monitoring temporal properties of continuous signals"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-15297-9_9"},{"key":"ref4","article-title":"Parallel successive convex approximation for nonsmooth nonconvex optimization","author":"razaviyayn","year":"2014","journal-title":"Advances in Neural IInformation Processing Systems"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.23919\/ECC.2019.8796109"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/ALLERTON.2015.7447084"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2014.7039363"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1016\/S0005-1098(98)00178-2"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/ACC.2016.7525063"},{"key":"ref2","first-page":"1123","article-title":"Distributed planning of multi-agent systems with coupled temporal logic specifications","author":"buyukkocak","year":"2021","journal-title":"AIAA Scitech 2021 Forum"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/CCTA.2017.8062628"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/ICCPS.2018.00026"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2009.06.021"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1007\/s10107-004-0559-y"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/TRO.2015.2479878"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1007\/s12532-014-0071-1"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511804441"},{"key":"ref26","year":"2021","journal-title":"HSL a collection of fortran codes for large scale scientific computation"},{"key":"ref25","author":"andersson","year":"2013","journal-title":"A general-purpose software framework for dynamic optimization"}],"event":{"name":"2022 IEEE Conference on Control Technology and Applications (CCTA)","location":"Trieste, Italy","start":{"date-parts":[[2022,8,23]]},"end":{"date-parts":[[2022,8,25]]}},"container-title":["2022 IEEE Conference on Control Technology and Applications (CCTA)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9965973\/9965785\/09966096.pdf?arnumber=9966096","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,12,26]],"date-time":"2022-12-26T19:41:10Z","timestamp":1672083670000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9966096\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,8,23]]},"references-count":26,"URL":"https:\/\/doi.org\/10.1109\/ccta49430.2022.9966096","relation":{},"subject":[],"published":{"date-parts":[[2022,8,23]]}}}