A Bi-level Local and Global Model Predictive Control Architecture for Air Traffic Management | IEEE Conference Publication | IEEE Xplore