Hierarchies of probabilistic models of navigation: the Bayesian Map and the Abstraction operator | IEEE Conference Publication | IEEE Xplore