The infinite partially observable Markov decision process
Perseus: Randomized Point-based Value Iteration for POMDPs