I7 Logo
Chair for Foundations of Software Reliability and Theoretical Computer Science
Informatik Logo TUM Logo
Publications - Analysis and Prediction of the Long-run Behaviour of Probabilistic Sequential Programs with Recursion

Reference:

Tomáš Brádzil, Antonín Kučera, and Javier Esparza. Analysis and prediction of the long-run behaviour of probabilistic sequential programs with recursion. In Proceedings of FOCS 2005, pages 521–530, 2005.

Suggested BibTeX entry:

@inproceedings{BEK05,
    author = {Tom\'a\v{s} Br\'adzil and Anton\'{\i}n Ku\v{c}era and Javier Esparza},
    booktitle = {Proceedings of FOCS 2005},
    pages = {521--530},
    title = {Analysis and Prediction of the Long-run Behaviour of Probabilistic Sequential Programs with Recursion},
    year = {2005}
}

GZipped PostScript (171 kB)
PDF (157 kB)