Back-Stepping Formation Control of Unmanned Surface Vehicles With Input Saturation Based on Adaptive Super-Twisting Algorithm | IEEE Journals & Magazine | IEEE Xplore