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)