Reference:

Tomáš Brázdil, Javier Esparza, Stefan Kiefer, and Antonín Kučera. Analyzing probabilistic pushdown automata. Formal Methods in System Design, 43(2):124–163, 2013.

Abstract:

The paper gives a summary of the existing results about algorithmic analysis of probabilistic pushdown automata and their subclasses.

Suggested BibTeX entry:

@article{13BEKK-FMSD,
    author = {Tom\'{a}\v{s} Br{\'a}zdil and Javier Esparza and Stefan Kiefer and Anton\'{\i}n Ku\v{c}era},
    journal = {Formal Methods in System Design},
    number = {2},
    pages = {124--163},
    title = {Analyzing probabilistic pushdown automata},
    volume = {43},
    year = {2013}
}