A probabilistic approach to aircraft conflict detection | IEEE Journals & Magazine | IEEE Xplore