Efficient map merging using a probabilistic generalized Voronoi diagram | IEEE Conference Publication | IEEE Xplore