Symbolic heuristic search value iteration for factored POMDPs
Decision-Theoretic Planning: Structural Assumptions and Computational Leverage