Conflict Detection, Resolution, and Control of Aircraft using 4D Polynomial Splines | IEEE Conference Publication | IEEE Xplore