An efficient algorithm for topological map construction in a planar environment explored using proximity sensors | IEEE Conference Publication | IEEE Xplore