A bathymetric mapping and SLAM dataset with high-precision ground truth for marine robotics. (January 2022)