Optimality analysis for formation of Multi-AUV cooperative positioning based on genetic algorithm | IEEE Conference Publication | IEEE Xplore