{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,11]],"date-time":"2026-02-11T21:17:48Z","timestamp":1770844668086,"version":"3.50.1"},"reference-count":29,"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.9294425","type":"proceedings-article","created":{"date-parts":[[2020,12,24]],"date-time":"2020-12-24T23:14:55Z","timestamp":1608851695000},"page":"1-8","source":"Crossref","is-referenced-by-count":12,"title":["Learning-to-Fly: Learning-based Collision Avoidance for Scalable Urban Air Mobility"],"prefix":"10.1109","author":[{"given":"Alena","family":"Rodionova","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yash Vardhan","family":"Pant","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kuk","family":"Jang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Houssam","family":"Abbas","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rahul","family":"Mangharam","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/DASC.2016.7778055"},{"key":"ref11","article-title":"Collision-free reactive mission and motion planning for multi-robot systems","author":"decastro","year":"2017","journal-title":"Springer Proceedings in Advanced Robotics"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1145\/3055004.3055022"},{"key":"ref13","article-title":"Qlearning for robust satisfaction of signal temporal logic specification","author":"aksaray","year":"2016","journal-title":"IEEE Conference on Decision and Control"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/ICUAS.2016.7502596"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2007.914952"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2005.1582935"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/ROBOT.2006.1641832"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2014.7039363"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/ACC.2016.7525063"},{"key":"ref28","article-title":"Yalmip: Toolbox for modeling and optim. in matlab","author":"l\u00f6fberg","year":"0"},{"key":"ref4","year":"2019","journal-title":"Introduction to TCAS II"},{"key":"ref27","first-page":"115","article-title":"Learning precise timing with lstm recurrent networks","volume":"3","author":"gers","year":"2002","journal-title":"Journal of Machine Learning Research"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/IROS.2014.6942758"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/NAECON.2018.8556719"},{"key":"ref29","article-title":"UAS Operational Assessment: Contingency Operations Simulation Report","author":"pastakia","year":"2015","journal-title":"Federal Aviation Administration Tech Rep"},{"key":"ref5","year":"2018","journal-title":"Unmanned Aircraft System Traffic Management (UTM) Concept of Operations"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/EMSOFT.2015.7318268"},{"key":"ref7","author":"kochenderfer","year":"2012","journal-title":"Next-Generation Airborne Collision Avoidance System"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/ICCPS.2018.00026"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.2514\/6.2019-0690"},{"key":"ref1","article-title":"National Academies of Sciences, Engineering, and Medicine, Advanced Aerial Mobility: A National Blueprint","year":"2020"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1002\/rnc.1715"},{"key":"ref22","author":"maler","year":"2004","journal-title":"Monitoring temporal properties of continuous signals"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/CCTA.2017.8062628"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/TRO.2015.2479878"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2009.06.021"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1162\/neco.1997.9.8.1735"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/RTSS.2015.12"}],"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\/09294425.pdf?arnumber=9294425","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,6,28]],"date-time":"2022-06-28T21:52:36Z","timestamp":1656453156000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9294425\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,9,20]]},"references-count":29,"URL":"https:\/\/doi.org\/10.1109\/itsc45102.2020.9294425","relation":{},"subject":[],"published":{"date-parts":[[2020,9,20]]}}}