Extracting topology-based maps from gridmaps | IEEE Conference Publication | IEEE Xplore