Coverage path planning for marine habitat mapping | IEEE Conference Publication | IEEE Xplore