Leader-follower formation control of fully actuated USVs with prescribed performance and collision avoidance | IEEE Conference Publication | IEEE Xplore