%0 Conference Paper %1 conf/fsttcs/KuceraS05 %A Kucera, Antonín %A Strazovský, Oldrich %B FSTTCS %D 2005 %E Ramanujam, Ramaswamy %E Sen, Sandeep %I Springer %K dblp %P 541-552 %T On the Controller Synthesis for Finite-State Markov Decision Processes. %U http://dblp.uni-trier.de/db/conf/fsttcs/fsttcs2005.html#KuceraS05 %V 3821 %@ 3-540-30495-9

@inproceedings{conf/fsttcs/KuceraS05, added-at = {2019-08-30T00:00:00.000+0200}, author = {Kucera, Antonín and Strazovský, Oldrich}, biburl = {https://www.bibsonomy.org/bibtex/294362a1cfec324c3d92ec99d4fb435f7/dblp}, booktitle = {FSTTCS}, crossref = {conf/fsttcs/2005}, editor = {Ramanujam, Ramaswamy and Sen, Sandeep}, ee = {https://doi.org/10.1007/11590156_44}, interhash = {36d79968d2e09127fbdfc2efdc38088f}, intrahash = {94362a1cfec324c3d92ec99d4fb435f7}, isbn = {3-540-30495-9}, keywords = {dblp}, pages = {541-552}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-08-31T11:43:45.000+0200}, title = {On the Controller Synthesis for Finite-State Markov Decision Processes.}, url = {http://dblp.uni-trier.de/db/conf/fsttcs/fsttcs2005.html#KuceraS05}, volume = 3821, year = 2005 }