Improving AUV Localization Accuracy by Combining Ultra-Short-Baseline and Long-Baseline Measurements Systems in a Post-Processing Extended Kalman Filter | IEEE Conference Publication | IEEE Xplore