Equivalence notions and model minimization in Markov decision processes. - Robert Givan; Thomas L. Dean; Matthew Greig (Artif. Intell., 2003)