PUMA: planning under uncertainty with macro-actions
Acting under uncertainty: discrete Bayesian models for mobile-robot navigation