Maria Prandini, Jianghai Hu. Application of reachability analysis for stochastic hybrid systems to aircraft conflict prediction. In Proceedings of the 47th IEEE Conference on Decision and Control, CDC 2008, December 9-11, 2008, Cancún, México. pages 4036-4041, IEEE, 2008. [doi]
Abstract is missing.