An adaptive leader-follower formation controller for multiple AUVs in spatial motions | IEEE Conference Publication | IEEE Xplore