Output-Feedback Flexible Performance-Based Safe Formation for Underactuated Unmanned Surface Vehicles | IEEE Journals & Magazine | IEEE Xplore