Knowledge-base topological exploration for mobile robots | IEEE Conference Publication | IEEE Xplore