Safety-Critical Game-Based Formation Control of Underactuated Autonomous Surface Vehicles | IEEE Journals & Magazine | IEEE Xplore