Obstacle Avoiding Policy of Multi-AUV Formation Based on Virtual AUV | IEEE Conference Publication | IEEE Xplore