Symbolic heuristic search value iteration for factored POMDPs
Perseus: Randomized Point-based Value Iteration for POMDPs