Analyzing probabilistic pushdown automata

@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 a Antonín KUČERA. Analyzing probabilistic pushdown automata. \textit{Formal Methods in System Design}. Springer Netherlands, roč.~43, č.~2, s.~124-163. ISSN~0925-9856. doi:10.1007/s10703-012-0166-0. 2013.