Symbolic Heuristic Search Value Iteration for Factored POMDPs. - Sim, Hyeong Seop; Kim, Kee-Eung; Kim, Jin Hyung; Chang, Du-Seong; Koo, Myoung-Wan (2008)