Formation Control of Multiple Underactuated Unmanned Surface Vessel Systems Based on the Leader-Follower Method | IEEE Conference Publication | IEEE Xplore