The supervisory control of ARAMIS, a system for robotic inspection of sediments | IEEE Conference Publication | IEEE Xplore