Underactuated Multi-AUV Robust Formation Control Based on Virtual Leader | IEEE Conference Publication | IEEE Xplore