mdp_solver_stub
