Deadlock Resolution and Recursive Feasibility in MPC-based Multi-robot Trajectory Generation | IEEE Journals & Magazine | IEEE Xplore