Combining DVL-INS and Laser-Based Loop Closures in a Batch Estimation Framework for Underwater Positioning | IEEE Journals & Magazine | IEEE Xplore