BRÁZDIL, Tomáš, Javier ESPARZA, Stefan KIEFER and Antonín KUČERA. Analyzing probabilistic pushdown automata. Formal Methods in System Design. Springer Netherlands, 2013, vol. 43, No 2, p. 124-163. ISSN 0925-9856. Available from: https://dx.doi.org/10.1007/s10703-012-0166-0. |
Other formats:
BibTeX
LaTeX
RIS
@article{1076453, author = {Brázdil, Tomáš and Esparza, Javier and Kiefer, Stefan and Kučera, Antonín}, article_number = {2}, doi = {http://dx.doi.org/10.1007/s10703-012-0166-0}, keywords = {pushdown automata; Markov chains}, language = {eng}, issn = {0925-9856}, journal = {Formal Methods in System Design}, title = {Analyzing probabilistic pushdown automata}, volume = {43}, year = {2013} }
TY - JOUR ID - 1076453 AU - Brázdil, Tomáš - Esparza, Javier - Kiefer, Stefan - Kučera, Antonín PY - 2013 TI - Analyzing probabilistic pushdown automata JF - Formal Methods in System Design VL - 43 IS - 2 SP - 124-163 EP - 124-163 PB - Springer Netherlands SN - 09259856 KW - pushdown automata KW - Markov chains N2 - The paper gives a summary of the existing results about algorithmic analysis of probabilistic pushdown automata and their subclasses. ER -
BRÁZDIL, Tomáš, Javier ESPARZA, Stefan KIEFER and Antonín KUČERA. Analyzing probabilistic pushdown automata. \textit{Formal Methods in System Design}. Springer Netherlands, 2013, vol.~43, No~2, p.~124-163. ISSN~0925-9856. Available from: https://dx.doi.org/10.1007/s10703-012-0166-0.
|