@misc {IOPORT.70960306,
    author       = {Kucera, Anton{\'\i}n and Strazovsk\'y, Oldrich},
    title        = {On the controller synthesis for finite-state Markov decision processes},
    howpublished = {FSTTCS, 541-552 (2005).},
    year         = {2005},
    doi          = {10.1007/11590156_44},
    identifier   = {70960306},
}