Acting under uncertainty: discrete Bayesian models for mobile-robot navigation | IEEE Conference Publication | IEEE Xplore