Acting under uncertainty: discrete Bayesian models for mobile-robot navigation | Synapse