"Controller Synthesis and Verification for Markov Decision Processes with ..."

Tomás Brázdil, Vojtech Forejt, Antonín Kucera (2008)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics