EKF-SLAM for AUV navigation under probabilistic sonar scan-matching | IEEE Conference Publication | IEEE Xplore