B. J. Chludzinski, Evaluation of TCAS II version 7.1 using the FAA fast-time encounter generator model, 2009.

G. Dowek, C. Muñoz, and V. Carreño, Provably Safe Coordinated Strategy for Distributed Conflict Resolution, AIAA Guidance, Navigation, and Control Conference and Exhibit, 2005.
DOI : 10.1109/6979.898228

C. Von-essen and D. Giannakopoulou, Analyzing the Next Generation Airborne Collision Avoidance System, TACAS, pp.620-635, 2014.
DOI : 10.1007/978-3-642-54862-8_54

A. Galdino, C. Muñoz, and M. Ayala, Formal Verification of an Optimal Air Traffic Conflict Resolution and Recovery Algorithm, WoLLIC. LNCS, 2007.
DOI : 10.1007/978-3-540-73445-1_13

K. Ghorbal, J. B. Jeannin, E. Zawadzki, A. Platzer, G. J. Gordon et al., Hybrid Theorem Proving of Aerospace Systems: Applications and Challenges, Journal of Aerospace Information Systems, vol.15, issue.1, 2014.
DOI : 10.2514/1.21562
URL : https://hal.archives-ouvertes.fr/hal-01660905

J. E. Holland, M. J. Kochenderfer, and W. A. Olson, Optimizing the Next Generation Collision Avoidance System for Safe, Suitable, and Acceptable Operational Performance, Air Traffic Control Quarterly, vol.20, issue.1, 2014.
DOI : 10.2514/6.2013-4624

J. B. Jeannin, K. Ghorbal, Y. Kouskoulas, R. Garnder, A. Schmidt et al., A Formally Verified Hybrid System for the Next-Generation Airborne Collision Avoidance System, 2014.
DOI : 10.1007/978-3-662-46681-0_2
URL : https://hal.archives-ouvertes.fr/hal-01232365

M. J. Kochenderfer, L. P. Espindle, J. K. Kuchar, and J. D. Griffith, Correlated encounter model for cooperative aircraft in the national airspace system version 1.0, 2008.

M. J. Kochenderfer and J. P. Chryssanthacopoulos, Robust airborne collision avoidance through dynamic programming, 2010.

M. J. Kochenderfer, J. E. Holland, and J. P. Chryssanthacopoulos, Next generation airborne collision avoidance system, Lincoln Laboratory Journal, vol.19, issue.1, pp.17-33, 2012.

M. J. Kochenderfer and N. Monath, Compression of Optimal Value Functions for Markov Decision Processes, 2013 Data Compression Conference, 2013.
DOI : 10.1109/DCC.2013.81

S. M. Loos, D. W. Renshaw, and A. Platzer, Formal verification of distributed aircraft controllers, Proceedings of the 16th international conference on Hybrid systems: computation and control, HSCC '13, pp.125-130, 2013.
DOI : 10.1145/2461328.2461350

J. Lygeros and N. Lynch, On the formal verification of the TCAS conflict resolution algorithms, Proceedings of the 36th IEEE Conference on Decision and Control, pp.1829-1834, 1997.
DOI : 10.1109/CDC.1997.657846

A. Platzer, Differential Dynamic Logic for Hybrid Systems, Journal of Automated Reasoning, vol.30, issue.1, pp.143-189, 2008.
DOI : 10.1007/978-1-4612-0601-9

A. Platzer, Logical Analysis of Hybrid Systems: Proving Theorems for Complex Dynamics, 2010.

A. Platzer, Logics of Dynamical Systems, 2012 27th Annual IEEE Symposium on Logic in Computer Science, pp.13-24, 2012.
DOI : 10.1109/LICS.2012.13

A. Platzer and E. M. Clarke, Formal Verification of Curved Flight Collision Avoidance Maneuvers: A Case Study, FM. LNCS, pp.547-562, 2009.
DOI : 10.1007/978-3-642-05089-3_35

A. Platzer and J. D. Quesel, KeYmaera: A hybrid theorem prover for hybrid systems, IJCAR. LNCS, pp.171-178, 2008.
DOI : 10.1007/978-3-540-71070-7_15

C. Tomlin, G. J. Pappas, and S. Sastry, Conflict resolution for air traffic management: a study in multiagent hybrid systems, IEEE Transactions on Automatic Control, vol.43, issue.4, pp.509-521, 1998.
DOI : 10.1109/9.664154