{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,14]],"date-time":"2026-03-14T17:57:36Z","timestamp":1773511056225,"version":"3.50.1"},"reference-count":35,"publisher":"IEEE","license":[{"start":{"date-parts":[[2024,5,13]],"date-time":"2024-05-13T00:00:00Z","timestamp":1715558400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2024,5,13]],"date-time":"2024-05-13T00:00:00Z","timestamp":1715558400000},"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":[[2024,5,13]]},"DOI":"10.1109\/icra57147.2024.10610359","type":"proceedings-article","created":{"date-parts":[[2024,8,8]],"date-time":"2024-08-08T17:51:05Z","timestamp":1723139465000},"page":"11781-11788","source":"Crossref","is-referenced-by-count":1,"title":["A Compiler Framework for Proactive UAV Regulation Enforcement"],"prefix":"10.1109","author":[{"given":"Huaxin","family":"Tang","sequence":"first","affiliation":[{"name":"SUNY Binghamton,Binghamton,NY,13903"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"John Henry","family":"Burns","sequence":"additional","affiliation":[{"name":"SUNY Binghamton,Binghamton,NY,13903"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alexander","family":"Strong","sequence":"additional","affiliation":[{"name":"SUNY Binghamton,Binghamton,NY,13903"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yu David","family":"Liu","sequence":"additional","affiliation":[{"name":"SUNY Binghamton,Binghamton,NY,13903"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref1","volume-title":"Amazon drone delivery","year":"2016"},{"key":"ref2","article-title":"Google drones will deliver chipotle burritos at virginia tech","author":"McFarland","year":"2016","journal-title":"CNN Money"},{"key":"ref3","volume-title":"Unmanned aircraft systems (uas)","year":"2023"},{"key":"ref4","article-title":"European union aviation safety agency","year":"2023"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1021\/i200032a041"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.4050\/JAHS.65.022006"},{"key":"ref7","first-page":"8887","article-title":"Geo-fencing for unmanned aerial vehicle","volume":"975","author":"Pratyusha","year":"2013","journal-title":"International Journal of Computer Applications"},{"key":"ref8","article-title":"Neuroflight: Next generation flight control firmware","author":"Koch","year":"2019","journal-title":"Robotics"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1145\/3301273"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.3390\/electronics8070760"},{"key":"ref11","volume-title":"Small unmanned aircraft systems (suas)","year":"2021"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1016\/j.techsoc.2022.102079"},{"key":"ref13","volume-title":"Aeronautics and space part 107\u2014small unmanned aircraft systems","year":"2023"},{"key":"ref14","volume-title":"European commission presents an aviation strategy for europe","year":"2019"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.3390\/s20082238"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/IROS51168.2021.9636617"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE43902.2021.00119"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1145\/3564821"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1145\/3422584.3422763"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1145\/3468264.3468559"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/sescps.2017.8"},{"key":"ref22","volume-title":"Legal enforcement actions","year":"2023"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1145\/359156.359164"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1137\/0220055"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/icuas57906.2023.10156337"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1109\/TII.2012.2198665"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1016\/j.ast.2011.02.006"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1016\/j.asoc.2021.107376"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1016\/j.patcog.2019.107140"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-76928-6_1"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1109\/AERO.2008.4526559"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.3390\/s19163542"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1016\/j.jag.2022.102912"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1016\/j.compag.2015.03.019"},{"key":"ref35","volume-title":"Flight plans","year":"2023"}],"event":{"name":"2024 IEEE International Conference on Robotics and Automation (ICRA)","location":"Yokohama, Japan","start":{"date-parts":[[2024,5,13]]},"end":{"date-parts":[[2024,5,17]]}},"container-title":["2024 IEEE International Conference on Robotics and Automation (ICRA)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/10609961\/10609862\/10610359.pdf?arnumber=10610359","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,8,10]],"date-time":"2024-08-10T05:48:05Z","timestamp":1723268885000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10610359\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,5,13]]},"references-count":35,"URL":"https:\/\/doi.org\/10.1109\/icra57147.2024.10610359","relation":{},"subject":[],"published":{"date-parts":[[2024,5,13]]}}}