1. Espindle, L.P., Griffith, J.D., Kuchar, J.K.: Safety analysis of upgrading to TCAS version 7.1 using the 2008 U.S. correlated encounter model. Project Report ATC-349, Lincoln Laboratory, Lexington, Mass. (2009)
2. Frazzoli, E., Dahleh, M.A., Feron, E.: Real-time motion planning for agile autonomous vehicles. AIAA Journal of Aerospace Computing, Information, and Communication 25, 116–129 (2004)
3. Kaelbling, L.P., Littman, M.L., Cassandra, A.R.: Planning and acting in partially observable stochastic domains. Artif. Intell. 101, 99–134 (1998)
4. Kochenderfer, M., Kuchar, J., Espindle, L., Griffith, J.: Uncorrelated encounter model of the national airspace system version 1.0. Project Report ATC-345, Lincoln Laboratory, Lexington, Mass. (2008)
5. Kuchar, J.K., Drumm, A.C.: The traffic alert and collision avoidance system. Linc. Lab. J. 16(2), 277–296 (2007)