%0 Conference Paper %1 conf/concur/BrazdilBFK06 %A Brázdil, Tomás %A Brozek, Václav %A Forejt, Vojtech %A Kucera, Antonín %B CONCUR %D 2006 %E Baier, Christel %E Hermanns, Holger %I Springer %K dblp %P 358-374 %T Reachability in Recursive Markov Decision Processes. %U http://dblp.uni-trier.de/db/conf/concur/concur2006.html#BrazdilBFK06 %V 4137 %@ 3-540-37376-4

@inproceedings{conf/concur/BrazdilBFK06, added-at = {2019-08-30T00:00:00.000+0200}, author = {Brázdil, Tomás and Brozek, Václav and Forejt, Vojtech and Kucera, Antonín}, biburl = {https://www.bibsonomy.org/bibtex/2d4f51eebf9f03a6850d87aecd497cc74/dblp}, booktitle = {CONCUR}, crossref = {conf/concur/2006}, editor = {Baier, Christel and Hermanns, Holger}, ee = {https://doi.org/10.1007/11817949_24}, interhash = {6bc47f906ef846a4d5a4892a3d2b2186}, intrahash = {d4f51eebf9f03a6850d87aecd497cc74}, isbn = {3-540-37376-4}, keywords = {dblp}, pages = {358-374}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-09T23:26:33.000+0200}, title = {Reachability in Recursive Markov Decision Processes.}, url = {http://dblp.uni-trier.de/db/conf/concur/concur2006.html#BrazdilBFK06}, volume = 4137, year = 2006 }