Application of reachability analysis for stochastic hybrid systems to aircraft conflict prediction | IEEE Conference Publication | IEEE Xplore