"On the Controller Synthesis for Finite-State Markov Decision Processes."

Antonín Kucera, Oldrich Strazovský (2008)
a service of Schloss Dagstuhl - Leibniz Center for Informatics