{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,22]],"date-time":"2025-10-22T18:03:25Z","timestamp":1761156205282,"version":"3.40.3"},"publisher-location":"Cham","reference-count":16,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319489889"},{"type":"electronic","value":"9783319489896"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016]]},"DOI":"10.1007\/978-3-319-48989-6_17","type":"book-chapter","created":{"date-parts":[[2016,11,7]],"date-time":"2016-11-07T01:31:19Z","timestamp":1478482279000},"page":"274-290","source":"Crossref","is-referenced-by-count":2,"title":["Exploring Model Quality for ACAS\u00a0X"],"prefix":"10.1007","author":[{"given":"Dimitra","family":"Giannakopoulou","sequence":"first","affiliation":[]},{"given":"Dennis","family":"Guck","sequence":"additional","affiliation":[]},{"given":"Johann","family":"Schumann","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2016,11,8]]},"reference":[{"key":"17_CR1","doi-asserted-by":"crossref","unstructured":"Dimjasevic, M., Giannakopoulou, D.: Test-case generation for runtime analysis, vice versa: verification of aircraft separation assurance. In: Proceedings of the 2015 International Symposium on Software Testing and Analysis, ISSTA 2015, Baltimore, 12\u201317 July 2015, pp. 282\u2013292 (2015)","DOI":"10.1145\/2771783.2771804"},{"key":"17_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"177","DOI":"10.1007\/978-3-540-73445-1_13","volume-title":"Logic, Language, Information and Computation","author":"AL Galdino","year":"2007","unstructured":"Galdino, A.L., Mu\u00f1oz, C., Ayala-Rinc\u00f3n, M.: Formal verification of an optimal air traffic conflict resolution and recovery algorithm. In: Leivant, D., Queiroz, R. (eds.) WoLLIC 2007. LNCS, vol. 4576, pp. 177\u2013188. Springer, Heidelberg (2007). doi: 10.1007\/978-3-540-73445-1_13"},{"issue":"10","key":"17_CR3","doi-asserted-by":"crossref","first-page":"702","DOI":"10.2514\/1.I010178","volume":"11","author":"K Ghorbal","year":"2014","unstructured":"Ghorbal, K., Jeannin, J., Zawadzki, E., Platzer, A., Gordon, G.J., Capell, P.: Hybrid theorem proving of aerospace systems: applications and challenges. J. Aerospace Inf. Sys. 11(10), 702\u2013713 (2014)","journal-title":"J. Aerospace Inf. Sys."},{"issue":"1","key":"17_CR4","doi-asserted-by":"crossref","first-page":"5","DOI":"10.1007\/s10472-011-9224-3","volume":"63","author":"D Giannakopoulou","year":"2011","unstructured":"Giannakopoulou, D., Bushnell, D.H., Schumann, J., Erzberger, H., Heere, K.: Formal testing for separation assurance. Ann. Math. Artif. Intell. 63(1), 5\u201330 (2011)","journal-title":"Ann. Math. Artif. Intell."},{"key":"17_CR5","doi-asserted-by":"crossref","unstructured":"Giannakopoulou, D., Howar, F., Isberner, M., Lauderdale, T., Rakamaric, Z., Raman, V.: Taming test inputs for separation assurance. In: ACM\/IEEE International Conference on Automated Software Engineering, ASE 2014, Vasteras, 15\u201319 September 2014, pp. 373\u2013384 (2014)","DOI":"10.1145\/2642937.2642940"},{"key":"17_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1007\/978-3-662-46681-0_2","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"J-B Jeannin","year":"2015","unstructured":"Jeannin, J.-B., Ghorbal, K., Kouskoulas, Y., Gardner, R., Schmidt, A., Zawadzki, E., Platzer, A.: A formally verified hybrid system for the next-generation airborne collision avoidance system. In: Baier, C., Tinelli, C. (eds.) TACAS 2015. LNCS, vol. 9035, pp. 21\u201336. Springer, Heidelberg (2015). doi: 10.1007\/978-3-662-46681-0_2"},{"key":"17_CR7","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/10187.001.0001","volume-title":"Decision Making Under Uncertainty: Theory and Application","author":"MJ Kochenderfer","year":"2015","unstructured":"Kochenderfer, M.J.: Decision Making Under Uncertainty: Theory and Application. MIT Press, Cambridge (2015)"},{"key":"17_CR8","unstructured":"Kochenderfer, M.J., Chryssanthacopoulos, J.P. : Robust airborne collision avoidance through dynamic programming. Project Report ATC-371, Massachusetts Institute of Technology, Lincoln Laboratory (2011)"},{"issue":"2","key":"17_CR9","first-page":"277","volume":"16","author":"J Kuchar","year":"2007","unstructured":"Kuchar, J., Drumm, A.C.: The traffic alert and collision avoidance system. Linc. Lab. J. 16(2), 277 (2007)","journal-title":"Linc. Lab. J."},{"key":"17_CR10","doi-asserted-by":"crossref","unstructured":"Lee, R., Kochenderfer, M.J., Mengshoel, O.J., Brat, G.P., Owen, M.P.: Adaptive stress testing of airborne collision avoidance systems. In: 2015 IEEE\/AIAA 34th Digital Avionics Systems Conference (DASC), p. 6C2-1. IEEE (2015)","DOI":"10.1109\/DASC.2015.7311613"},{"key":"17_CR11","doi-asserted-by":"crossref","unstructured":"Loos, S.M., Renshaw, D.W., Platzer, A.: Formal verification of distributed aircraft controllers. In: Proceedings of the 16th International Conference on Hybrid systems: Computation and Control, HSCC 2013, Philadelphia, 8\u201311 April 2013, pp. 125\u2013130 (2013)","DOI":"10.1145\/2461328.2461350"},{"key":"17_CR12","doi-asserted-by":"crossref","unstructured":"Lygeros, J., Lynch, N.: On the formal verification of the TCAS conflict resolution algorithms. In: 36th IEEE Conference on Decision and Control, pp. 1829\u20131834 (1997)","DOI":"10.1109\/CDC.1997.657846"},{"key":"17_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"547","DOI":"10.1007\/978-3-642-05089-3_35","volume-title":"FM 2009: Formal Methods","author":"A Platzer","year":"2009","unstructured":"Platzer, A., Clarke, E.M.: Formal verification of curved flight collision avoidance maneuvers: a case study. In: Cavalcanti, A., Dams, D.R. (eds.) FM 2009. LNCS, vol. 5850, pp. 547\u2013562. Springer, Heidelberg (2009). doi: 10.1007\/978-3-642-05089-3_35"},{"issue":"4","key":"17_CR14","doi-asserted-by":"crossref","first-page":"509","DOI":"10.1109\/9.664154","volume":"43","author":"C Tomlin","year":"1998","unstructured":"Tomlin, C., Pappas, G.J., Sastry, S.: Conflict resolution for air traffic management: a study in multiagent hybrid systems. IEEE Trans. Autom. Control 43(4), 509\u2013521 (1998)","journal-title":"IEEE Trans. Autom. Control"},{"key":"17_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"620","DOI":"10.1007\/978-3-642-54862-8_54","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"C Essen","year":"2014","unstructured":"Essen, C., Giannakopoulou, D.: Analyzing the next generation airborne collision avoidance system. In: \u00c1brah\u00e1m, E., Havelund, K. (eds.) TACAS 2014. LNCS, vol. 8413, pp. 620\u2013635. Springer, Heidelberg (2014). doi: 10.1007\/978-3-642-54862-8_54"},{"issue":"2","key":"17_CR16","doi-asserted-by":"crossref","first-page":"227","DOI":"10.1007\/s10009-015-0388-8","volume":"18","author":"C Essen von","year":"2016","unstructured":"von Essen, C., Giannakopoulou, D.: Probabilistic verification and synthesis of the next generation airborne collision avoidance system. STTT 18(2), 227\u2013243 (2016)","journal-title":"STTT"}],"container-title":["Lecture Notes in Computer Science","FM 2016: Formal Methods"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-48989-6_17","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,15]],"date-time":"2019-09-15T05:53:35Z","timestamp":1568526815000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-48989-6_17"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319489889","9783319489896"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-48989-6_17","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]}}}