Bayesian programming for topological global localization with fingerprints | IEEE Conference Publication | IEEE Xplore