Value iteration in POMDPs