"Magnifying-Lens Abstraction for Markov Decision Processes."

Luca de Alfaro, Pritam Roy (2007)
a service of Schloss Dagstuhl - Leibniz Center for Informatics