{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,7]],"date-time":"2026-02-07T09:14:25Z","timestamp":1770455665815,"version":"3.49.0"},"reference-count":66,"publisher":"Association for Computing Machinery (ACM)","issue":"4","license":[{"start":{"date-parts":[[2019,9,12]],"date-time":"2019-09-12T00:00:00Z","timestamp":1568246400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/100000001","name":"NSF","doi-asserted-by":"publisher","award":["IIS-13-20791 and IIS-18-16889"],"award-info":[{"award-number":["IIS-13-20791 and IIS-18-16889"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]},{"name":"European Union's Horizon 2020 Research and Innovation Programme"},{"name":"SESAR Joint Undertaking","award":["699299"],"award-info":[{"award-number":["699299"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["ACM Trans. Spatial Algorithms Syst."],"published-print":{"date-parts":[[2019,12,31]]},"abstract":"<jats:p>At the present time, there is no mechanism for Air Navigation Service Providers (ANSPs) to probe new flight plans filed by the Airlines Operation Centers (AOCs) against the existing approved flight plans to see if they are likely to cause conflicts or bring sector traffic densities beyond control. In the current Air Traffic Control (ATC) operations, aircraft conflicts and sector traffic densities are resolved tactically, increasing workload and leading to potential safety risks and loss of capacity and efficiency.<\/jats:p>\n          <jats:p>We propose a novel Data-driven Framework to address a long-range aircraft conflict detection and resolution (CDR) problem. Given a set of predicted trajectories, the framework declares a conflict when a protected zone of an aircraft on its trajectory is infringed upon by another aircraft. The framework resolves the conflict by prescribing an alternative solution that is optimized by perturbing at least one of the trajectories involved in the conflict. To achieve this, the framework learns from descriptive patterns of historical trajectories and pertinent weather observations and builds a Hidden Markov Model (HMM). Using a variant of the Viterbi algorithm, the framework avoids the airspace volume in which the conflict is detected and generates a new optimal trajectory that is conflict free. The key concept upon which the framework is built is the assumption that the airspace is nothing more than a horizontally and vertically concatenated set of spatio-temporal data cubes where each cube is considered as an atomic unit. We evaluate our framework using real trajectory datasets with pertinent weather observations from two continents and demonstrate its effectiveness for strategic CDR.<\/jats:p>","DOI":"10.1145\/3328832","type":"journal-article","created":{"date-parts":[[2019,9,12]],"date-time":"2019-09-12T14:22:21Z","timestamp":1568298141000},"page":"1-23","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":5,"title":["A Data-driven Framework for Long-Range Aircraft Conflict Detection and Resolution"],"prefix":"10.1145","volume":"5","author":[{"given":"Samet","family":"Ayhan","sequence":"first","affiliation":[{"name":"University of Maryland, College Park, MD"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Pablo","family":"Costas","sequence":"additional","affiliation":[{"name":"Boeing Research 8 Technology Europe, Madrid, Spain"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hanan","family":"Samet","sequence":"additional","affiliation":[{"name":"University of Maryland, College Park, MD"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2019,9,12]]},"reference":[{"key":"e_1_2_1_1_1","volume-title":"Proceedings of the 40th IEEE Annual Symposium on Foundations of Computer Science. 160--170","author":"Amir A.","unstructured":"A. Amir , A. Efrat , P. Indyk , and H. Samet . 1999. Efficient regular data structures and algorithms for location and proximity problems . In Proceedings of the 40th IEEE Annual Symposium on Foundations of Computer Science. 160--170 . A. Amir, A. Efrat, P. Indyk, and H. Samet. 1999. Efficient regular data structures and algorithms for location and proximity problems. In Proceedings of the 40th IEEE Annual Symposium on Foundations of Computer Science. 160--170."},{"key":"e_1_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00453-001-0013-y"},{"key":"e_1_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1109\/34.56221"},{"key":"e_1_2_1_4_1","volume-title":"Proceedings of the IEEE\/AIAA 28th Digital Avionics Systems Conference. 6.D.5--1--6.D.5--9.","author":"Ayhan S.","unstructured":"S. Ayhan , P. Comitz , and V. Stemkovski . 2009. Aviation mashups . In Proceedings of the IEEE\/AIAA 28th Digital Avionics Systems Conference. 6.D.5--1--6.D.5--9. S. Ayhan, P. Comitz, and V. Stemkovski. 2009. Aviation mashups. In Proceedings of the IEEE\/AIAA 28th Digital Avionics Systems Conference. 6.D.5--1--6.D.5--9."},{"key":"e_1_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/3219819.3219874"},{"key":"e_1_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/3274895.3274947"},{"key":"e_1_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/2447481.2447491"},{"key":"e_1_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/2834882.2834887"},{"key":"e_1_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/2939672.2939694"},{"key":"e_1_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/3003965.3003968"},{"key":"e_1_2_1_11_1","volume-title":"Proceedings of the AIAA GNC Conference and Exhibit. 1--11","author":"Bilimoria K.","unstructured":"K. Bilimoria , B. Sridhar , and G. Chatterji . 1996. Effects of conflict resolution maneuvers and traffic density on free flight . In Proceedings of the AIAA GNC Conference and Exhibit. 1--11 . K. Bilimoria, B. Sridhar, and G. Chatterji. 1996. Effects of conflict resolution maneuvers and traffic density on free flight. In Proceedings of the AIAA GNC Conference and Exhibit. 1--11."},{"key":"e_1_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1109\/MIC.2007.5"},{"key":"e_1_2_1_13_1","volume-title":"Proceedings of the 16th DASC. AIAA\/IEEE Digital Avionics Systems Conference. 35--44","author":"Brudnicki D. J.","unstructured":"D. J. Brudnicki , K. S. Lindsay , and A. L. McFarland . 1997. Assessment of field trials, algorithmic performance, and benefits of the user request evaluation tool (URET) conflict probe . In Proceedings of the 16th DASC. AIAA\/IEEE Digital Avionics Systems Conference. 35--44 . D. J. Brudnicki, K. S. Lindsay, and A. L. McFarland. 1997. Assessment of field trials, algorithmic performance, and benefits of the user request evaluation tool (URET) conflict probe. In Proceedings of the 16th DASC. AIAA\/IEEE Digital Avionics Systems Conference. 35--44."},{"key":"e_1_2_1_14_1","volume-title":"Proceedings of the 35th Aerospace Sciences Meeting and Exhibit. 1--8.","author":"Carpenter B.","unstructured":"B. Carpenter and J. Kuchar . 1997. Probability-based collision alerting logic for closely-spaced parallel approach . In Proceedings of the 35th Aerospace Sciences Meeting and Exhibit. 1--8. B. Carpenter and J. Kuchar. 1997. Probability-based collision alerting logic for closely-spaced parallel approach. In Proceedings of the 35th Aerospace Sciences Meeting and Exhibit. 1--8."},{"key":"e_1_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/2494493.2494494"},{"key":"e_1_2_1_16_1","volume-title":"Proceedings of the 2nd International Conference on Application and Theory of Automation in Command and Control Systems. 54--61","author":"Cobano J. A.","unstructured":"J. A. Cobano , D. Alejo , A. Ollero , and A. Viguria . 2012. Efficient conflict resolution method in air traffic management based on the speed assignment . In Proceedings of the 2nd International Conference on Application and Theory of Automation in Command and Control Systems. 54--61 . J. A. Cobano, D. Alejo, A. Ollero, and A. Viguria. 2012. Efficient conflict resolution method in air traffic management based on the speed assignment. In Proceedings of the 2nd International Conference on Application and Theory of Automation in Command and Control Systems. 54--61."},{"key":"e_1_2_1_17_1","volume-title":"Proceedings of the 7th AIAA Aviation Technology, Integration and Operations Conference. 1--13","author":"Dowek G.","unstructured":"G. Dowek and C. Munoz . 2007. Conflict detection and resolution for 1,2,\u2026,N aircraft . In Proceedings of the 7th AIAA Aviation Technology, Integration and Operations Conference. 1--13 . G. Dowek and C. Munoz. 2007. Conflict detection and resolution for 1,2,\u2026,N aircraft. In Proceedings of the 7th AIAA Aviation Technology, Integration and Operations Conference. 1--13."},{"key":"e_1_2_1_18_1","volume-title":"Proceedings of the 16th DASC. AIAA\/IEEE Digital Avionics Systems Conference. 10--17","author":"Duong V. N.","unstructured":"V. N. Duong and E. G. Hoffman . 1997. Conflict resolution advisory service in autonomous aircraft operations . In Proceedings of the 16th DASC. AIAA\/IEEE Digital Avionics Systems Conference. 10--17 . V. N. Duong and E. G. Hoffman. 1997. Conflict resolution advisory service in autonomous aircraft operations. In Proceedings of the 16th DASC. AIAA\/IEEE Digital Avionics Systems Conference. 10--17."},{"key":"e_1_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1006\/jvlc.2000.0181"},{"key":"e_1_2_1_20_1","unstructured":"FAA. 2009. The NextGen. Retrieved from https:\/\/www.faa.gov\/nextgen\/.  FAA. 2009. The NextGen. Retrieved from https:\/\/www.faa.gov\/nextgen\/."},{"key":"e_1_2_1_21_1","unstructured":"FAA. 2012. Traffic Alert and Collision Avoidance System (TCAS II). Retrieved from https:\/\/www.faa.gov\/other_visit\/aviation_industry\/airline_operators\/airline_safety\/info\/all_infos\/media\/2012\/InFO12010.pdf.  FAA. 2012. Traffic Alert and Collision Avoidance System (TCAS II). Retrieved from https:\/\/www.faa.gov\/other_visit\/aviation_industry\/airline_operators\/airline_safety\/info\/all_infos\/media\/2012\/InFO12010.pdf."},{"key":"e_1_2_1_22_1","unstructured":"FAA. 2015. TAF. Retrieved from http:\/\/taf.faa.gov\/Downloads\/TAFSummaryFY2015-2040.pdf.  FAA. 2015. TAF. Retrieved from http:\/\/taf.faa.gov\/Downloads\/TAFSummaryFY2015-2040.pdf."},{"key":"e_1_2_1_23_1","unstructured":"FAA. 2016. Aircraft Situation Display to Industry. Retrieved from http:\/\/www.fly.faa.gov\/ASDI\/.  FAA. 2016. Aircraft Situation Display to Industry. Retrieved from http:\/\/www.fly.faa.gov\/ASDI\/."},{"key":"e_1_2_1_24_1","doi-asserted-by":"crossref","unstructured":"G. B. M. Heuvelink and H. A. Blom. 1998. An alternative method to solve a variational inequality applied to an air traffic control example. In Analysis and Optimization of Systems. Springer-Verlag London UK 617--628.   G. B. M. Heuvelink and H. A. Blom. 1998. An alternative method to solve a variational inequality applied to an air traffic control example. In Analysis and Optimization of Systems. Springer-Verlag London UK 617--628.","DOI":"10.1007\/BFb0042249"},{"key":"e_1_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.2514\/6.1998-4236"},{"key":"e_1_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/1366102.1366104"},{"key":"e_1_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1109\/6979.898217"},{"key":"e_1_2_1_28_1","volume-title":"Dynamic Density: An Air Traffic Management Metric. Technical Report","author":"Laudeman I. V.","year":"1998","unstructured":"I. V. Laudeman , S. G. Shelden , R. Branstrom , and J. L. Brasil . 1998 . Dynamic Density: An Air Traffic Management Metric. Technical Report . NASA Ames Research Center , Mountain View, CA . I. V. Laudeman, S. G. Shelden, R. Branstrom, and J. L. Brasil. 1998. Dynamic Density: An Air Traffic Management Metric. Technical Report. NASA Ames Research Center, Mountain View, CA."},{"key":"e_1_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.2514\/6.2012-5643"},{"key":"e_1_2_1_30_1","doi-asserted-by":"crossref","unstructured":"W. Liu and I. Hwang. 2011. Probabilistic trajectory prediction and conflict detection for air traffic control. J. Guid. Contr. Dynam. 34 (Nov. 2011) 1779--1789.  W. Liu and I. Hwang. 2011. Probabilistic trajectory prediction and conflict detection for air traffic control. J. Guid. Contr. Dynam. 34 (Nov. 2011) 1779--1789.","DOI":"10.2514\/1.53645"},{"key":"e_1_2_1_31_1","volume-title":"Probabilistic Conflict Detection in the Presence of Uncertainty","author":"Matsuno Y.","unstructured":"Y. Matsuno . 2013. Probabilistic Conflict Detection in the Presence of Uncertainty . Springer Japan , Tokyo , 17--33. Y. Matsuno. 2013. Probabilistic Conflict Detection in the Presence of Uncertainty. Springer Japan, Tokyo, 17--33."},{"key":"e_1_2_1_32_1","volume-title":"Proceedings of the AIAA GNC Conference and Exhibit. 1686--1697","author":"McNally D.","unstructured":"D. McNally , R. Bach , and W. Chan . 1998. Field test evaluation of the CTAS conflict prediction and trial planning capability . In Proceedings of the AIAA GNC Conference and Exhibit. 1686--1697 . D. McNally, R. Bach, and W. Chan. 1998. Field test evaluation of the CTAS conflict prediction and trial planning capability. In Proceedings of the AIAA GNC Conference and Exhibit. 1686--1697."},{"key":"e_1_2_1_33_1","doi-asserted-by":"crossref","unstructured":"P. Menon G. Sweriduk and B. Sridhar. 1999. Optimal strategies for free-flight air traffic conflict resolution. J. Guid. Contr. Dynam. 22 (Mar. 1999) 202--211.  P. Menon G. Sweriduk and B. Sridhar. 1999. Optimal strategies for free-flight air traffic conflict resolution. J. Guid. Contr. Dynam. 22 (Mar. 1999) 202--211.","DOI":"10.2514\/2.4384"},{"key":"e_1_2_1_34_1","unstructured":"NOAA. 2016. NCEP Global Forecast System. Retrieved from https:\/\/www.ncdc.noaa.gov\/data-access\/model-data\/model-datasets\/global-forcast-system-gfs.  NOAA. 2016. NCEP Global Forecast System. Retrieved from https:\/\/www.ncdc.noaa.gov\/data-access\/model-data\/model-datasets\/global-forcast-system-gfs."},{"key":"e_1_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.14778\/2002974.2002978"},{"key":"e_1_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICDE.2013.6544863"},{"key":"e_1_2_1_37_1","volume-title":"Proceedings of the AIAA GNC Conference and Exhibit. 1--18","author":"Paglione M.","unstructured":"M. Paglione and R. Oaks . 2007. Implementation and metrics for a trajectory prediction validation methodology . In Proceedings of the AIAA GNC Conference and Exhibit. 1--18 . M. Paglione and R. Oaks. 2007. Implementation and metrics for a trajectory prediction validation methodology. In Proceedings of the AIAA GNC Conference and Exhibit. 1--18."},{"key":"e_1_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1145\/2820783.2820806"},{"key":"e_1_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1145\/3274895.3274898"},{"key":"e_1_2_1_40_1","volume-title":"Proceedings of the 32nd IEEE International Conference on Data Engineering. 1239--1250","author":"Peng S.","unstructured":"S. Peng , J. Sankaranarayanan , and H. Samet . 2016. SPDO: High-throughput road distance computations on spark using distance oracles . In Proceedings of the 32nd IEEE International Conference on Data Engineering. 1239--1250 . S. Peng, J. Sankaranarayanan, and H. Samet. 2016. SPDO: High-throughput road distance computations on spark using distance oracles. In Proceedings of the 32nd IEEE International Conference on Data Engineering. 1239--1250."},{"key":"e_1_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1109\/6979.898224"},{"key":"e_1_2_1_42_1","volume-title":"Proceedings of the AIAA GNC Conference and Exhibit. 1047--1057","author":"Prandini M.","unstructured":"M. Prandini , J. Lygeros , A. Nilim , and S. Sastry . 1999. A probabilistic framework for aircraft conflict detection . In Proceedings of the AIAA GNC Conference and Exhibit. 1047--1057 . M. Prandini, J. Lygeros, A. Nilim, and S. Sastry. 1999. A probabilistic framework for aircraft conflict detection. In Proceedings of the AIAA GNC Conference and Exhibit. 1047--1057."},{"key":"e_1_2_1_43_1","volume-title":"Readings in Speech Recognition. Morgan Kaufmann","author":"Rabiner L.","unstructured":"L. Rabiner . 1990. A tutorial on hidden Markov models and selected applications in speech recognition . In Readings in Speech Recognition. Morgan Kaufmann , San Francisco, CA , 267--296. L. Rabiner. 1990. A tutorial on hidden Markov models and selected applications in speech recognition. In Readings in Speech Recognition. Morgan Kaufmann, San Francisco, CA, 267--296."},{"key":"e_1_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1145\/358172.358409"},{"key":"e_1_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1016\/0734-189X(85)90128-8"},{"key":"e_1_2_1_46_1","volume-title":"Foundations of Multidimensional and Metric Data Structures. Morgan-Kaufmann","author":"Samet H.","unstructured":"H. Samet . 2006. Foundations of Multidimensional and Metric Data Structures. Morgan-Kaufmann , San Francisco, CA . H. Samet. 2006. Foundations of Multidimensional and Metric Data Structures. Morgan-Kaufmann, San Francisco, CA."},{"key":"e_1_2_1_47_1","doi-asserted-by":"publisher","DOI":"10.1145\/602421.602453"},{"key":"e_1_2_1_48_1","volume-title":"Proceedings of the Computer Vision and Pattern Recognition Conference. 312--318","author":"Samet H.","unstructured":"H. Samet and M. Tamminen . 1986. An improved approach to connected component labeling of images . In Proceedings of the Computer Vision and Pattern Recognition Conference. 312--318 . H. Samet and M. Tamminen. 1986. An improved approach to connected component labeling of images. In Proceedings of the Computer Vision and Pattern Recognition Conference. 312--318."},{"key":"e_1_2_1_49_1","doi-asserted-by":"publisher","DOI":"10.1145\/1097064.1097093"},{"key":"e_1_2_1_50_1","doi-asserted-by":"publisher","DOI":"10.1145\/1183471.1183506"},{"key":"e_1_2_1_51_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICDE.2009.53"},{"key":"e_1_2_1_52_1","doi-asserted-by":"publisher","DOI":"10.1109\/TKDE.2010.75"},{"key":"e_1_2_1_53_1","first-page":"2","article-title":"Roads belong in databases","volume":"33","author":"Sankaranarayanan J.","year":"2010","unstructured":"J. Sankaranarayanan and H. Samet . 2010 . Roads belong in databases . IEEE Data Eng. Bull. 33 , 2 (Jun. 2010), 4--11. J. Sankaranarayanan and H. Samet. 2010. Roads belong in databases. IEEE Data Eng. Bull. 33, 2 (Jun. 2010), 4--11.","journal-title":"IEEE Data Eng. Bull."},{"key":"e_1_2_1_54_1","doi-asserted-by":"publisher","DOI":"10.14778\/1687627.1687763"},{"key":"e_1_2_1_55_1","unstructured":"SESAR. 1999. Single European Sky ATM Research. Retrieved from http:\/\/www.eurocontrol.int\/dossiers\/single-european-sky.  SESAR. 1999. Single European Sky ATM Research. Retrieved from http:\/\/www.eurocontrol.int\/dossiers\/single-european-sky."},{"key":"e_1_2_1_56_1","unstructured":"SESAR. 2017. DART. Retrieved from http:\/\/dart-research.eu\/the-project\/.  SESAR. 2017. DART. Retrieved from http:\/\/dart-research.eu\/the-project\/."},{"key":"e_1_2_1_57_1","doi-asserted-by":"publisher","DOI":"10.1016\/0262-8856(88)90022-4"},{"key":"e_1_2_1_58_1","volume-title":"Proceedings of the 36th IEEE Conference on Decision and Control. 2417--2422","author":"Shewchun M.","unstructured":"M. Shewchun , J. Oh , and E. Feron . 1997. Linear matrix inequalities for free flight conflict problems . In Proceedings of the 36th IEEE Conference on Decision and Control. 2417--2422 . M. Shewchun, J. Oh, and E. Feron. 1997. Linear matrix inequalities for free flight conflict problems. In Proceedings of the 36th IEEE Conference on Decision and Control. 2417--2422."},{"key":"e_1_2_1_59_1","volume-title":"Proceedings of the 1st International Conference on ATACCS. 68--78","author":"Soler M.","unstructured":"M. Soler , A. Olivares , E. Staffetti , and J. Cegarra . 2011. Multi-phase optimal control applied to 4D business trajectory strategic planning in air traffic management . In Proceedings of the 1st International Conference on ATACCS. 68--78 . M. Soler, A. Olivares, E. Staffetti, and J. Cegarra. 2011. Multi-phase optimal control applied to 4D business trajectory strategic planning in air traffic management. In Proceedings of the 1st International Conference on ATACCS. 68--78."},{"key":"e_1_2_1_60_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICDE.2005.7"},{"key":"e_1_2_1_61_1","volume-title":"Proceedings of the 9th AIAA ATIO Conference. 1--13","author":"Valenzuela A.","unstructured":"A. Valenzuela and D. Rivas . 2009. Conflict detection and resolution in converging air traffic . In Proceedings of the 9th AIAA ATIO Conference. 1--13 . A. Valenzuela and D. Rivas. 2009. Conflict detection and resolution in converging air traffic. In Proceedings of the 9th AIAA ATIO Conference. 1--13."},{"key":"e_1_2_1_62_1","volume-title":"Proceedings of the 16th DASC AIAA\/IEEE Digital Avionics Systems Conference. 45--52","author":"Vink A.","unstructured":"A. Vink , S. Kauppinen , J. Beers , and K. Jong . 1997. Medium-term conflict detection in EATCHIP phase III . In Proceedings of the 16th DASC AIAA\/IEEE Digital Avionics Systems Conference. 45--52 . A. Vink, S. Kauppinen, J. Beers, and K. Jong. 1997. Medium-term conflict detection in EATCHIP phase III. In Proceedings of the 16th DASC AIAA\/IEEE Digital Avionics Systems Conference. 45--52."},{"key":"e_1_2_1_63_1","doi-asserted-by":"publisher","DOI":"10.1109\/TIT.1967.1054010"},{"key":"e_1_2_1_64_1","volume-title":"Proceedings of the AIAA GNC Conference and Exhibit. 797--806","author":"Yang L.","unstructured":"L. Yang and J. Kuchar . 1998. Using intent information in probabilistic conflict analysis . In Proceedings of the AIAA GNC Conference and Exhibit. 797--806 . L. Yang and J. Kuchar. 1998. Using intent information in probabilistic conflict analysis. In Proceedings of the AIAA GNC Conference and Exhibit. 797--806."},{"key":"e_1_2_1_65_1","doi-asserted-by":"publisher","DOI":"10.1145\/3175603.3175616"},{"key":"e_1_2_1_66_1","volume-title":"Proceedings of the 18th Digital Avionics Systems Conference. 1--8.","author":"Zeghal K.","unstructured":"K. Zeghal and E. Hoffman . 1999. Design of cockpit displays for limited delegation of separation assurance . In Proceedings of the 18th Digital Avionics Systems Conference. 1--8. K. Zeghal and E. Hoffman. 1999. Design of cockpit displays for limited delegation of separation assurance. In Proceedings of the 18th Digital Avionics Systems Conference. 1--8."}],"container-title":["ACM Transactions on Spatial Algorithms and Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3328832","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3328832","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3328832","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T22:33:03Z","timestamp":1750199583000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3328832"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,9,12]]},"references-count":66,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2019,12,31]]}},"alternative-id":["10.1145\/3328832"],"URL":"https:\/\/doi.org\/10.1145\/3328832","relation":{},"ISSN":["2374-0353","2374-0361"],"issn-type":[{"value":"2374-0353","type":"print"},{"value":"2374-0361","type":"electronic"}],"subject":[],"published":{"date-parts":[[2019,9,12]]},"assertion":[{"value":"2018-12-01","order":0,"name":"received","label":"Received","group":{"name":"publication_history","label":"Publication History"}},{"value":"2019-04-01","order":1,"name":"accepted","label":"Accepted","group":{"name":"publication_history","label":"Publication History"}},{"value":"2019-09-12","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}