Collision-free Reach-Avoid Differential Game of Multiple Underactuated Autonomous Surface Vehicles via Control Barrier Functions | IEEE Journals & Magazine | IEEE Xplore