Map refinement for mobile robot navigation by polygonal approximation and distance transformation | IEEE Conference Publication | IEEE Xplore