%0 Conference Paper %1 conf/icalp/BrazdilFK08 %A Brázdil, Tomás %A Forejt, Vojtech %A Kucera, Antonín %B ICALP (2) %D 2008 %E Aceto, Luca %E Damgård, Ivan %E Goldberg, Leslie Ann %E Halldórsson, Magnús M. %E Ingólfsdóttir, Anna %E Walukiewicz, Igor %I Springer %K dblp %P 148-159 %T Controller Synthesis and Verification for Markov Decision Processes with Qualitative Branching Time Objectives. %U http://dblp.uni-trier.de/db/conf/icalp/icalp2008-2.html#BrazdilFK08 %V 5126 %@ 978-3-540-70582-6

@inproceedings{conf/icalp/BrazdilFK08, added-at = {2019-08-30T00:00:00.000+0200}, author = {Brázdil, Tomás and Forejt, Vojtech and Kucera, Antonín}, biburl = {https://www.bibsonomy.org/bibtex/21b173d00fd5bfc21b06de3c6d8cb0136/dblp}, booktitle = {ICALP (2)}, crossref = {conf/icalp/2008-2}, editor = {Aceto, Luca and Damgård, Ivan and Goldberg, Leslie Ann and Halldórsson, Magnús M. and Ingólfsdóttir, Anna and Walukiewicz, Igor}, ee = {https://doi.org/10.1007/978-3-540-70583-3_13}, interhash = {45481cc8a5f2d79e3e381c7903ae5598}, intrahash = {1b173d00fd5bfc21b06de3c6d8cb0136}, isbn = {978-3-540-70582-6}, keywords = {dblp}, pages = {148-159}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-08-31T11:44:46.000+0200}, title = {Controller Synthesis and Verification for Markov Decision Processes with Qualitative Branching Time Objectives.}, url = {http://dblp.uni-trier.de/db/conf/icalp/icalp2008-2.html#BrazdilFK08}, volume = 5126, year = 2008 }