1. Bertsimas, D., Patterson, S.S.: The air traffic flow management problem with enroute capacities. Oper. Res. 46(3), 406–422 (1998). https://doi.org/10.1287/opre.46.3.406
2. Billingsley, T.B.: Safety Analysis of TCAS on Global Hawk using Airspace Encounter Models. Massachusetts Institute of Technology, Cambridge, MA, USA (2006)
3. Billingsley, T.B., Espindle, L.P., Griffith, J.D.: TCAS multiple threat encounter analysis. Tech. Rep. ATC-359, MIT Lincoln Laboratory (2009)
4. Canny, J.F.: The Complexity of Robot Motion Planning. The MIT Press, Cambridge, MA, USA (1988)
5. Delahaye, D., Puechmorel, S., Tsiotras, P., Feron, E.: Mathematical models for aircraft trajectory design: a survey. In: ENRI International Workshop ATM/CNS, Tokyo, Japan (2013)