Autonomous Control of Mobile Robots Using Logical Representation of Map and Inference of Location | IEEE Conference Publication | IEEE Xplore