Tomás Brázdil, Václav Brozek, Vojtech Forejt, Antonín Kucera. Branching-time model-checking of probabilistic pushdown automata. J. Comput. Syst. Sci., 80(1):139-156, 2014. [doi]
@article{BrazdilBFK14,
title = {Branching-time model-checking of probabilistic pushdown automata},
author = {Tomás Brázdil and Václav Brozek and Vojtech Forejt and Antonín Kucera},
year = {2014},
doi = {10.1016/j.jcss.2013.07.001},
url = {http://dx.doi.org/10.1016/j.jcss.2013.07.001},
researchr = {https://researchr.org/publication/BrazdilBFK14},
cites = {0},
citedby = {0},
journal = {J. Comput. Syst. Sci.},
volume = {80},
number = {1},
pages = {139-156},
}