Design of an autonomous under-ice exploration system | IEEE Conference Publication | IEEE Xplore