Computational Modeling of Dynamic Planning in Air Traffic Management | IEEE Conference Publication | IEEE Xplore