. Lehouillier, Solving the Air Conflict Resolution Problem under Uncertainty as an Iterative bi-Objective MILP Article submitted to Transportation Science; manuscript no. XX References 2014. CPLEX v12.5. User's manual for CPLEX, pp.8-08

A. A. Alonso-ayuso, L. F. Escudero, and F. J. Martin-campo, A mixed 01 nonlinear optimization model and algorithmic approach for the collision avoidance in ATM: Velocity changes through a time horizon, IEEE Transactions on Intelligent Transportation Systems, vol.39, pp.3136-3146, 2012.

A. Alonso-ayuso, L. F. Escudero, and F. J. Martín-campo, Multiobjective optimization for aircraft conflict resolution. A metaheuristic approach, European Journal of Operational Research, vol.248, issue.2, pp.691-702, 2016.
DOI : 10.1016/j.ejor.2015.07.049

J. K. Archibald, J. C. Hill, N. Jepsen, W. C. Stirling, and R. L. Frost, A Satisficing Approach to Aircraft Conflict Resolution, IEEE Transactions on Systems, Man, and Cybernetics, Part C (Applications and Reviews), vol.38, issue.4, pp.510-521, 2008.
DOI : 10.1109/TSMCC.2008.919162

M. G. Ballin and H. Erzberger, An analysis of landing rates and separations at the Dallas, Fort Worth International Airport, vol.110397, 1996.

G. Chaloulos and J. Lygeros, Effect of Wind Correlation on Aircraft Conflict Probability, Journal of Guidance, Control, and Dynamics, vol.30, issue.6, pp.1742-1752, 2007.
DOI : 10.2514/1.28858

R. E. Cole, C. Richard, S. Kim, and D. Bailey, Assessment of the Rapid Update Cycle (RUC) with near real-time aircraft reports, 1998.

H. Erzberger, R. A. Paielli, D. R. Isaacson, and M. M. Eshow, Conflict detection and resolution in the presence of prediction error, Europe Air Traffic Management R&D Seminar, pp.17-20, 1997.

R. Fortet, Applications de l'algèbre de Boole en recherche opérationelle. Revue Française de, Recherche Opérationelle, vol.4, issue.14, pp.17-26, 1960.

R. Irvine, A geometrical approach to conflict probability estimation, Air Traffic Control Quarterly, vol.10, issue.2, pp.85-113, 2002.

T. Lehouillier, J. Omer, F. Soumis, and C. , Interactions between operations and planning in air traffic control, Proceedings of the 2nd International Conference of Research in Air Transportation, 2014.
URL : https://hal.archives-ouvertes.fr/hal-00998973

T. Lehouillier, J. Omer, F. Soumis, and G. Desaulniers, A flexible framework for solving the air conflict detection and resolution problem using maximum cliques in a graph, Proceedings of the Eleventh USA/Europe Air Traffic Management Research and Development Seminar (ATM2015), 2015.

T. Lehouillier, J. Omer, F. Soumis, and G. Desaulniers, A New Variant of the Minimum-Weight Maximum-Cardinality Clique Problem to Solve Conflicts between Aircraft, Modelling, Computation and Optimization in Information Systems and Management Sciences, Advances in Intelligent Systems and Computing, pp.3-14978, 2015.
DOI : 10.1007/978-3-319-18161-5_1

J. Lygeros and M. Prandini, Aircraft and weather models for probabilistic collision avoidance in air traffic control, Proceedings of the 41st IEEE Conference on Decision and Control, 2002., pp.2427-2432, 1998.
DOI : 10.1109/CDC.2002.1184199

I. Lymperopoulos, Sequential monte carlo methods in air traffic management, 2010.

F. Martín-campo, The collision avoidance problem: methods and algorithms, 2010.

P. K. Menon, G. D. Sweriduk, and B. Sridhar, Optimal Strategies for Free-Flight Air Traffic Conflict Resolution, Journal of Guidance, Control, and Dynamics, vol.22, issue.2, pp.202-211, 1999.
DOI : 10.2514/2.4384

J. Omer, A space-discretized mixed-integer linear model for air-conflict resolution with speed and heading maneuvers, Computers & Operations Research, vol.58, pp.75-86, 2015.
DOI : 10.1016/j.cor.2014.12.012

J. Omer and J. Farges, Hybridization of Nonlinear and Mixed-Integer Linear Programming for Aircraft Separation With Trajectory Recovery, IEEE Transactions on Intelligent Transportation Systems, vol.14, issue.3, pp.1218-1230, 2013.
DOI : 10.1109/TITS.2013.2257758

R. A. Paielli, Modeling Maneuver Dynamics in Air Traffic Conflict Resolution, Journal of Guidance, Control, and Dynamics, vol.26, issue.3, pp.407-415, 2003.
DOI : 10.2514/2.5078

L. Pallottino, E. M. Feron, and A. Bicchi, Conflict resolution problems for air traffic management systems solved with mixed integer programming, IEEE Transactions on Intelligent Transportation Systems, vol.3, issue.1, pp.3-11, 2002.
DOI : 10.1109/6979.994791

M. Prandini, J. Hu, J. Lygeros, and S. Sastry, A probabilistic approach to aircraft conflict detection, IEEE Transactions on Intelligent Transportation Systems, vol.1, issue.4, pp.199-220, 2000.
DOI : 10.1109/6979.898224

R. Y. Rubinstein and D. P. Kroese, Simulation and the Monte Carlo method, 2011.

B. E. Schwartz, S. G. Benjamin, S. M. Green, and M. R. Jardin, Accuracy of RUC-1 and RUC-2 Wind and Aircraft Trajectory Forecasts by Comparison with ACARS Observations, Weather and Forecasting, vol.15, issue.3, pp.313-326, 2000.
DOI : 10.1175/1520-0434(2000)015<0313:AORARW>2.0.CO;2

S. Undertaking, European ATM master plan, 2012.

W. C. Stirling and M. A. Goodrich, Satisficing games, Information Sciences, vol.114, issue.1-4, pp.255-280, 1999.
DOI : 10.1016/S0020-0255(98)10048-8

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