MARIS: A national project on marine robotics for interventions | IEEE Conference Publication | IEEE Xplore