Zhengzhu Feng Eric A. Hansen Symbolic Heuristic Search for Factored Markov Decision Processes. 455-460 2002 AAAI/IAAI db/conf/aaai/aaai2002.html#FengH02