Leader-follower formation of marine craft using constraint forces and lagrange multipliers | IEEE Conference Publication | IEEE Xplore