Application of Reachability Analysis for Stochastic Hybrid Systems to Aircraft Conflict Prediction | IEEE Journals & Magazine | IEEE Xplore