Probabilistic Terrain Mapping for Mobile Robots With Uncertain Localization | IEEE Journals & Magazine | IEEE Xplore