Probabilistic robotic grid mapping based on occupancy and elevation information | IEEE Conference Publication | IEEE Xplore