I7 Logo
Chair for Foundations of Software Reliability and Theoretical Computer Science
Informatik Logo TUM Logo
Publications - Model Checking Probabilistic Pushdown Automata


Javier Esparza, Antonín Kučera, and Richard Mayr. Model checking probabilistic pushdown automata. Technical report, Faculty of Informatics, Masaryk University, Brno, 2004.

Suggested BibTeX entry:

    author = {Javier Esparza and Anton\'{\i}n Ku\v{c}era and Richard Mayr},
    institution = {Faculty of Informatics, Masaryk University, Brno},
    title = {Model Checking Probabilistic Pushdown Automata},
    year = {2004}

GZipped PostScript (206 kB)
PDF (738 kB)
Conference version, Journal version