An AUV positioning error correct algorithm based on acoustic propagation time compensation | IEEE Conference Publication | IEEE Xplore