Air traffic control: satellites and artificial intelligence promise improved safety and efficiency | IEEE Journals & Magazine | IEEE Xplore