Optimization-Based Autonomous Air Traffic Control for Airspace Capacity Improvement | IEEE Journals & Magazine | IEEE Xplore