Probabilistic verification and synthesis of the next generation airborne collision avoidance system

Unscented Filtering and Nonlinear Estimation

Simon Julier, Jeffrey Uhlmann · Proceedings of the IEEE · 2004 · 6.5K citations

Computing, Data Science, Forecasting +14

A logic for reasoning about time and reliability

Hans Hansson, Bengt Jönsson · Formal Aspects of Computing · 1994 · 1.4K citations · Full text

Computing, Computer Science, Systems Engineering +10

Conflict resolution for air traffic management: a study in multiagent hybrid systems

Claire J. Tomlin, George J. Pappas, S. Shankar Sastry · IEEE Transactions on Automatic Control · 1998 · 1K citations

Engineering, Aerospace Engineering, Systems Engineering +17

The ins and outs of the probabilistic model checker MRMC

Joost-Pieter Katoen, Ivan S. Zapreev, Ernst Moritz Hahn et al. · Performance Evaluation · 2010 · 250 citations

Computing, Computer Science, Formal Methods +14

Robust Airborne Collision Avoidance through Dynamic Programming

Mykel J. Kochenderfer, James Chryssanthacopoulos · 2011 · 112 citations

Engineering, Aerospace Engineering, Computer Science +17