A Virtual-Reality-based Simulation Environment for Multi-AUV Systems | IEEE Conference Publication | IEEE Xplore