Barrier-Certified Model Predictive Cooperative Path Following Control of Connected Autonomous Surface Vehicles | IEEE Journals & Magazine | IEEE Xplore