Anytime State-Based Solution Methods for Decision Processes with non-Markovian Rewards
real - time heuristic search .