Hybridization of Monte Carlo and set-membership methods for the global localization of underwater robots | IEEE Conference Publication | IEEE Xplore