{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,17]],"date-time":"2026-03-17T19:37:59Z","timestamp":1773776279672,"version":"3.50.1"},"reference-count":9,"publisher":"IEEE","license":[{"start":{"date-parts":[[2020,9,20]],"date-time":"2020-09-20T00:00:00Z","timestamp":1600560000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2020,9,20]],"date-time":"2020-09-20T00:00:00Z","timestamp":1600560000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2020,9,20]],"date-time":"2020-09-20T00:00:00Z","timestamp":1600560000000},"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":[[2020,9,20]]},"DOI":"10.1109\/itsc45102.2020.9294612","type":"proceedings-article","created":{"date-parts":[[2020,12,24]],"date-time":"2020-12-24T18:14:55Z","timestamp":1608833695000},"page":"1-6","source":"Crossref","is-referenced-by-count":3,"title":["FairFly: A Fair Motion Planner for Fleets of Autonomous UAVs in Urban Airspace"],"prefix":"10.1109","author":[{"given":"Connor","family":"Kurtz","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Houssam","family":"Abbas","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref4","first-page":"1","article-title":"Coupled multi-robot systems under linear temporal logic and signal temporal logic tasks","author":"lindemann","year":"2019","journal-title":"IEEE Transactions on Control Systems Technology"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.23919\/ACC.2018.8431556"},{"key":"ref6","article-title":"Fly-bylogic: Control of multi-drone fleets with temporal logic objectives","author":"pant","year":"2018","journal-title":"Proc of the ACM\/IEEE International Conference on Cyber-Physical Systems"},{"key":"ref5","article-title":"Towards formal specification visualization for testing and monitoring of cyber-physical systems","author":"hoxha","year":"2014","journal-title":"Int'l Workshop on Design and Implementation of Formal Tools and Systems"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2009.06.021"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-11164-3_19"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/ACC.2013.6580518"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/CCTA.2017.8062628"},{"key":"ref1","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-15297-9_9","article-title":"Robust satisfaction of temporal logic over real-valued signals","author":"donz\u00e9","year":"2010","journal-title":"Proceedings of the 6th International Conference on Formal Modeling and Analysis of Timed Systems"}],"event":{"name":"2020 IEEE 23rd International Conference on Intelligent Transportation Systems (ITSC)","location":"Rhodes, Greece","start":{"date-parts":[[2020,9,20]]},"end":{"date-parts":[[2020,9,23]]}},"container-title":["2020 IEEE 23rd International Conference on Intelligent Transportation Systems (ITSC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9294153\/9294168\/09294612.pdf?arnumber=9294612","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,6,28]],"date-time":"2022-06-28T17:53:55Z","timestamp":1656438835000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9294612\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,9,20]]},"references-count":9,"URL":"https:\/\/doi.org\/10.1109\/itsc45102.2020.9294612","relation":{},"subject":[],"published":{"date-parts":[[2020,9,20]]}}}