Decentralized Receding Horizon Control and Coordination of Autonomous Vehicle Formations | IEEE Journals & Magazine | IEEE Xplore