Distributed MPC-Based Robust Collision Avoidance Formation Navigation of Constrained Multiple USVs | IEEE Journals & Magazine | IEEE Xplore