A Survey of Autonomous Underwater Vehicle Formation: Performance, Formation Control, and Communication Capability | IEEE Journals & Magazine | IEEE Xplore