Note: This is an archvied version of our old webpage. Some links might be broken. The current one can be found here.
I7 Logo
Chair for Foundations of Software Reliability and Theoretical Computer Science
Informatik Logo TUM Logo
Publications - Analyzing probabilistic pushdown automata


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.


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

Suggested BibTeX entry:

    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}

PDF (1 MB)