{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,10]],"date-time":"2026-03-10T14:49:20Z","timestamp":1773154160918,"version":"3.50.1"},"publisher-location":"Cham","reference-count":22,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783030763831","type":"print"},{"value":"9783030763848","type":"electronic"}],"license":[{"start":{"date-parts":[[2021,1,1]],"date-time":"2021-01-01T00:00:00Z","timestamp":1609459200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2021,1,1]],"date-time":"2021-01-01T00:00:00Z","timestamp":1609459200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2021]]},"DOI":"10.1007\/978-3-030-76384-8_3","type":"book-chapter","created":{"date-parts":[[2021,5,18]],"date-time":"2021-05-18T23:50:53Z","timestamp":1621381853000},"page":"37-52","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":4,"title":["Minimum-Violation Traffic Management for Urban Air Mobility"],"prefix":"10.1007","author":[{"given":"Suda","family":"Bharadwaj","sequence":"first","affiliation":[]},{"given":"Tichakorn","family":"Wongpiromsarn","sequence":"additional","affiliation":[]},{"given":"Natasha","family":"Neogi","sequence":"additional","affiliation":[]},{"given":"Joseph","family":"Muffoletto","sequence":"additional","affiliation":[]},{"given":"Ufuk","family":"Topcu","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2021,5,19]]},"reference":[{"key":"3_CR1","doi-asserted-by":"crossref","unstructured":"Bharadwaj, S., Bloem, R., Dimitrova, R., Konighofer, B., Topcu, U.: Synthesis of minimum-cost shields for multi-agent systems. In: 2019 American Control Conference (ACC), pp. 1048\u20131055 (2019)","DOI":"10.23919\/ACC.2019.8815233"},{"key":"3_CR2","doi-asserted-by":"crossref","unstructured":"Bharadwaj, S., Carr, S.P., Neogi, N.A., Topcu, U.: Decentralized control synthesis for air traffic management in urban air mobility. IEEE Trans. Control Netw. Syst. 1\u20131 (2021)","DOI":"10.1109\/TCNS.2021.3059847"},{"key":"3_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"71","DOI":"10.1007\/978-3-030-20652-9_5","volume-title":"NASA Formal Methods","author":"S Bharadwaj","year":"2019","unstructured":"Bharadwaj, S., Carr, S., Neogi, N., Poonawala, H., Chueca, A.B., Topcu, U.: Traffic management for urban air mobility. In: Badger, J.M., Rozier, K.Y. (eds.) NFM 2019. LNCS, vol. 11460, pp. 71\u201387. Springer, Cham (2019). https:\/\/doi.org\/10.1007\/978-3-030-20652-9_5"},{"key":"3_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"533","DOI":"10.1007\/978-3-662-46681-0_51","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"R Bloem","year":"2015","unstructured":"Bloem, R., K\u00f6nighofer, B., K\u00f6nighofer, R., Wang, C.: Shield synthesis: In: Baier, C., Tinelli, C. (eds.) TACAS 2015. LNCS, vol. 9035, pp. 533\u2013548. Springer, Heidelberg (2015). https:\/\/doi.org\/10.1007\/978-3-662-46681-0_51"},{"key":"3_CR5","unstructured":"EmbraerX: Flight plan 2030: An air traffic management concept for urban air mobility. EmbraerX (2019)"},{"key":"3_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"89","DOI":"10.1007\/978-3-642-16612-9_9","volume-title":"Runtime Verification","author":"Y Falcone","year":"2010","unstructured":"Falcone, Y.: You should better enforce than verify. In: Barringer, H., et al. (eds.) RV 2010. LNCS, vol. 6418, pp. 89\u2013105. Springer, Heidelberg (2010). https:\/\/doi.org\/10.1007\/978-3-642-16612-9_9"},{"key":"3_CR7","unstructured":"Federal Aviation Administration: Fact Sheet - Facts about the FAA and Air Traffic Control"},{"key":"3_CR8","doi-asserted-by":"crossref","unstructured":"Foina, A.G., Sengupta, R., Lerchi, P., Liu, Z., Krainer, C.: Drones in smart cities: overcoming barriers through air traffic control research. In: 2015 Workshop on Research, Education and Development of Unmanned Aerial Systems (RED-UAS), pp. 351\u2013359 (2015)","DOI":"10.1109\/RED-UAS.2015.7441027"},{"key":"3_CR9","unstructured":"Goyal, R.: Urban air mobility (UAM) market study (2018)"},{"key":"3_CR10","doi-asserted-by":"crossref","unstructured":"Guerreiro, N.M., Butler, R.W., Maddalon, J.M., Hagen, G.E.: Mission planner algorithm for urban air mobility-initial performance characterization. In: AIAA Aviation 2019 Forum, p. 3626 (2019)","DOI":"10.2514\/6.2019-3626"},{"key":"3_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"431","DOI":"10.1007\/3-540-46002-0_30","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"E Gunter","year":"2002","unstructured":"Gunter, E., Peled, D.: Temporal debugging for concurrent systems. In: Katoen, J.-P., Stevens, P. (eds.) TACAS 2002. LNCS, vol. 2280, pp. 431\u2013444. Springer, Heidelberg (2002). https:\/\/doi.org\/10.1007\/3-540-46002-0_30"},{"issue":"2","key":"3_CR12","doi-asserted-by":"publisher","first-page":"332","DOI":"10.1007\/s10703-017-0276-9","volume":"51","author":"B K\u00f6nighofer","year":"2017","unstructured":"K\u00f6nighofer, B., et al.: Shield synthesis. Formal Meth. Syst. Des. 51(2), 332\u2013361 (2017). https:\/\/doi.org\/10.1007\/s10703-017-0276-9","journal-title":"Formal Meth. Syst. Des."},{"key":"3_CR13","doi-asserted-by":"crossref","unstructured":"Moore, A., et al.: Testing enabling technologies for safe UAS urban operations. In: Proceedings of the 2018 Aviation, Technology, Integration, and Operations Conference. No. AIAA-2018-3200, Atlanta, Georgia, June 2018","DOI":"10.2514\/6.2018-3200"},{"key":"3_CR14","doi-asserted-by":"crossref","unstructured":"Mu\u00f1oz, C., et al.: Daidalus: detect and avoid alerting logic for unmanned systems. In: 2015 IEEE\/AIAA 34th Digital Avionics Systems Conference (DASC), pp. 5A1-1-5A1-12, September 2015","DOI":"10.1109\/DASC.2015.7311421"},{"key":"3_CR15","doi-asserted-by":"crossref","unstructured":"Neogi, N., Cuong, C., Dill, E.: A risk based assessment of a small UAS cargo delivery operation in proximity to urban areas. In: Proceedings of the 37th Digital Avionics Systems Conference (DASC). London, England, UK, September 2018","DOI":"10.1109\/DASC.2018.8569494"},{"key":"3_CR16","unstructured":"Prevot, T., et al.: Co-operative air traffic management: a technology enabled concept for the next generation air transportation system. In: 5th USA\/Europe Air Traffic management Research and Development Seminar, Baltimore, MD, June 2005"},{"key":"3_CR17","doi-asserted-by":"crossref","unstructured":"Prevot, T., Rios, J., Kopardekar, P., Robinson, J.E., Johnson, M., Jung, J.: UAS traffic management (UTM) concept of operations to safely enable low altitude flight operations. In: Proceedings of the 2018 Aviation, Technology, Integration, and Operations Conference. No. AIAA-2016-3292, Washington, DC, June 2016","DOI":"10.2514\/6.2016-3292"},{"issue":"1","key":"3_CR18","doi-asserted-by":"publisher","first-page":"30","DOI":"10.1145\/353323.353382","volume":"3","author":"FB Schneider","year":"2000","unstructured":"Schneider, F.B.: Enforceable security policies. ACM Trans. Inf. Syst. Secur. 3(1), 30\u201350 (2000)","journal-title":"ACM Trans. Inf. Syst. Secur."},{"issue":"1","key":"3_CR19","doi-asserted-by":"publisher","first-page":"5512","DOI":"10.1016\/S1474-6670(17)58559-6","volume":"29","author":"C Tomlin","year":"1996","unstructured":"Tomlin, C., Pappas, G., Lygeros, J., Godbole, D., Sastry, S., Meyer, G.: Hybrid control in air traffic management systems. IFAC Proc. Vol. 29(1), 5512\u20135517 (1996)","journal-title":"IFAC Proc. Vol."},{"key":"3_CR20","doi-asserted-by":"crossref","unstructured":"Tumova, J., Castro, L.I.R., Karaman, S., Frazzoli, E., Rus, D.: Minimum-violation LTL planning with conflicting specifications. In: 2013 American Control Conference. pp. 200\u2013205, June 2013","DOI":"10.1109\/ACC.2013.6579837"},{"key":"3_CR21","doi-asserted-by":"publisher","unstructured":"Tumova, J., Hall, G.C., Karaman, S., Frazzoli, E., Rus, D.: Least-violating control strategy synthesis with safety rules. In: Proceedings of the 16th International Conference on Hybrid Systems: Computation and Control, pp. 1\u201310. HSCC 2013, ACM, New York, NY, USA (2013). https:\/\/doi.org\/10.1145\/2461328.2461330","DOI":"10.1145\/2461328.2461330"},{"key":"3_CR22","doi-asserted-by":"crossref","unstructured":"Wongpiromsarn, T., Topcu, U., Ozay, N., Xu, H., Murray, R.M.: Tulip: a software toolbox for receding horizon temporal logic planning. In: Proceedings of the 14th International Conference on Hybrid Systems: Computation and Control, pp. 313\u2013314 (2011)","DOI":"10.1145\/1967701.1967747"}],"container-title":["Lecture Notes in Computer Science","NASA Formal Methods"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-76384-8_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,18]],"date-time":"2021-05-18T23:54:18Z","timestamp":1621382058000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-030-76384-8_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021]]},"ISBN":["9783030763831","9783030763848"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-76384-8_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2021]]},"assertion":[{"value":"19 May 2021","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"NFM","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"NASA Formal Methods Symposium","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2021","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"24 May 2021","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"28 May 2021","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"13","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"nfm2021","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/shemesh.larc.nasa.gov\/nfm2021\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Single-blind","order":1,"name":"type","label":"Type","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"EasyChair","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"66","order":3,"name":"number_of_submissions_sent_for_review","label":"Number of Submissions Sent for Review","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"21","order":4,"name":"number_of_full_papers_accepted","label":"Number of Full Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"3","order":5,"name":"number_of_short_papers_accepted","label":"Number of Short Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"32% - The value is computed by the equation \"Number of Full Papers Accepted \/ Number of Submissions Sent for Review * 100\" and then rounded to a whole number.","order":6,"name":"acceptance_rate_of_full_papers","label":"Acceptance Rate of Full Papers","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"3","order":7,"name":"average_number_of_reviews_per_paper","label":"Average Number of Reviews per Paper","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"5","order":8,"name":"average_number_of_papers_per_reviewer","label":"Average Number of Papers per Reviewer","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"Yes","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}}]}}