New MDP value function definition