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 - Model Checking Probabilistic Pushdown Automata

Reference:

Javier Esparza, Antonín Kučera, and Richard Mayr. Model checking probabilistic pushdown automata. In LICS 2004. IEEE Computer Society, 2004.

Suggested BibTeX entry:

@inproceedings{EKM04,
    author = {Javier Esparza and Anton\'{\i}n Ku\v{c}era and Richard Mayr},
    booktitle = {LICS 2004},
    publisher = {IEEE Computer Society},
    title = {Model Checking Probabilistic Pushdown Automata},
    year = {2004}
}

GZipped PostScript (86 kB)
PDF (204 kB)
Tech report version, Journal version