value iteration working on example from paper