Exact Decentralized Receding Horizon Planning for Multiple Aerial Vehicles | IEEE Conference Publication | IEEE Xplore