Anytime State-Based Solution Methods for Decision Processes with non-Markovian Rewards
Decision-Theoretic Planning: Structural Assumptions and Computational Leverage