Resolving a Dilemma: Guarantee Conflict-free 4-D Trajectories While Leaving Autonomy to Airlines | IEEE Conference Publication | IEEE Xplore