Surveying the underside of an Arctic ice ridge using a man-portable GAVIA AUV deployed through the ice | IEEE Conference Publication | IEEE Xplore