Probabilistic Terrain Mapping for Mobile Robots With Uncertain Localization | Synapse