The basic format of Exact Value Iteration for POMDPs has been implemented.