value iteration framework set up