Non-Linear Distributed MPC Coordination of Autonomous Vehicles Using Optimality Condition Decomposition | IEEE Conference Publication | IEEE Xplore