{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:35:59Z","timestamp":1750221359030,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":20,"publisher":"ACM","license":[{"start":{"date-parts":[[2017,12,29]],"date-time":"2017-12-29T00:00:00Z","timestamp":1514505600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"National Science Foundation for Young Scientists of China","award":["No. 61401011"],"award-info":[{"award-number":["No. 61401011"]}]},{"name":"National Key Technologies R&D Program of China","award":["2015BAG15B01"],"award-info":[{"award-number":["2015BAG15B01"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2017,12,29]]},"DOI":"10.1145\/3175603.3175616","type":"proceedings-article","created":{"date-parts":[[2018,2,12]],"date-time":"2018-02-12T14:03:02Z","timestamp":1518444182000},"page":"66-70","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["Fast Algorithm Based on Computational Geometry for Probabilistic Aircraft Conflict Detection"],"prefix":"10.1145","author":[{"given":"Yang","family":"Yang","sequence":"first","affiliation":[{"name":"School of Electronic and Information Engineering, Beihang University, Haidian, Beijing, China"}]},{"given":"Kai-quan","family":"Cai","sequence":"additional","affiliation":[{"name":"School of Electronic and Information Engineering, Beihang University, Haidian, Beijing, China"}]},{"given":"Maria","family":"Prandini","sequence":"additional","affiliation":[{"name":"Dipartimento di Elettronica, Informazione e Bioingegneria, Politecnico di Milano, Milano, Italy"}]}],"member":"320","published-online":{"date-parts":[[2017,12,29]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1109\/6979.898217"},{"key":"e_1_3_2_1_2_1","unstructured":"Prandini M. and Watkins O.J. 2005. Probabilistic aircraft conflict detection. HYBRIDGE Deliverable n.2 Workpackage 3.  Prandini M. and Watkins O.J. 2005. Probabilistic aircraft conflict detection. HYBRIDGE Deliverable n.2 Workpackage 3."},{"first-page":"50","volume-title":"1st USA\/Europe Air Traffic Management Research Development Seminars","author":"Erzberger","key":"e_1_3_2_1_3_1"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-24743-2_25"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.2514\/1.28858"},{"key":"e_1_3_2_1_6_1","unstructured":"Lymperopoulos and Sequential I. 2010. Monte Carlo Methods in Air Traffic Management. Phd thesis ETH Department of Information Technology and Electrical Engineering.  Lymperopoulos and Sequential I. 2010. Monte Carlo Methods in Air Traffic Management. Phd thesis ETH Department of Information Technology and Electrical Engineering."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1109\/TITS.2005.853699"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"crossref","unstructured":"Yang L.C. and Kuchar J. 1998. Using intent information in probabilistic conflict analysis. In AIAA Guidance Navigation and Control Conference Boston U.S.A.  Yang L.C. and Kuchar J. 1998. Using intent information in probabilistic conflict analysis. In AIAA Guidance Navigation and Control Conference Boston U.S.A.","DOI":"10.2514\/6.1998-4237"},{"volume-title":"41st IEEE Conference on Decision and Control","author":"Lygeros J.","key":"e_1_3_2_1_9_1"},{"volume-title":"42nd IEEE Conference on Decision and Control","author":"Watkins O.J.","key":"e_1_3_2_1_10_1"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2008.2011011"},{"volume-title":"41st IEEE Conference on Decision and Control","author":"Bakker G.J.","key":"e_1_3_2_1_12_1"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"crossref","unstructured":"Yang Y. Zhang J. Cai K. and Prandini M. 2014. A stochastic reachability analysis approach to aircraft conflict detection and resolution. In 2014 IEEE Multi-conference on Systems and Control Antibes France October.  Yang Y. Zhang J. Cai K. and Prandini M. 2014. A stochastic reachability analysis approach to aircraft conflict detection and resolution. In 2014 IEEE Multi-conference on Systems and Control Antibes France October.","DOI":"10.1109\/CCA.2014.6981611"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1109\/TCST.2016.2542046"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1137\/07069821X"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10957-010-9754-6"},{"key":"e_1_3_2_1_17_1","unstructured":"Boyd S. and Vandenberghe L. 2009. Convex Optimization.CambridgeUniversity Press.   Boyd S. and Vandenberghe L. 2009. Convex Optimization.CambridgeUniversity Press."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1109\/6979.898224"},{"key":"e_1_3_2_1_19_1","first-page":"177","article-title":"On ellipsoidal techniques for reachability analysis","volume":"17","author":"Varaiya P.","year":"2000","journal-title":"Optimization Methods and Software"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2006.887900"}],"event":{"name":"ICRAI 2017: 2017 International Conference on Robotics and Artificial Intelligence","sponsor":["Nanyang Technological University"],"location":"Shanghai China","acronym":"ICRAI 2017"},"container-title":["Proceedings of the 2017 International Conference on Robotics and Artificial Intelligence"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3175603.3175616","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3175603.3175616","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T02:26:13Z","timestamp":1750213573000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3175603.3175616"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,12,29]]},"references-count":20,"alternative-id":["10.1145\/3175603.3175616","10.1145\/3175603"],"URL":"https:\/\/doi.org\/10.1145\/3175603.3175616","relation":{},"subject":[],"published":{"date-parts":[[2017,12,29]]},"assertion":[{"value":"2017-12-29","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}