Cooperative localization of AUVs using moving horizon estimation | IEEE Journals & Magazine | IEEE Xplore