reads mdp with states labels initial and target at the same time