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
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.86.2122

M. G. Ballin and H. Erzberger, An analysis of landing rates and separations at the Dallas/Fort Worth International Airport, 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. 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, 1st USA, pp.17-20, 1997.

R. Fortet, Applications de lalgebre de Boole en recherche opérationelle. Revue Française de Recherche Opérationelle, pp.17-26, 1960.
DOI : 10.1007/bf03006558

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

T. Lehouillier, J. Omer, F. Soumis, A. , 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, 2015.

T. Lehouillier, J. Omer, F. Soumis, and G. Desaulniers, A new variant of the minimumweight maximum-cardinality clique problem to solve conflicts between aircraft, Modelling, Computation and Optimization in Information Systems and Management Sciences, volume 359 of Advances in Intelligent Systems and Computing, pp.3-14, 2015.

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
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.7.5232

I. Lymperopoulos, Sequential Monte Carlo methods in air traffic management, 2010.

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

P. Menon, G. 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
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.18.870

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
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.126.7700

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

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