check MDP transition function