Differentiable Space Carving for 3D Reconstruction Using Imaging Sonar | IEEE Journals & Magazine | IEEE Xplore