Probabilistic Constrained Decision Making For Robots Exploring, Mapping, And Navigating Indoor Environments.