random_mdp revised