Computationally efficient conflict detection methods for air traffic management | IEEE Conference Publication | IEEE Xplore