|
|
|
|
|
|
|
![](../../../00global/00pics/green-tl.png) |
|
![](../../../00global/00pics/green-tr.png) |
|
Publications - Analysis and Prediction of the Long-run Behaviour of Probabilistic Sequential Programs with Recursion
|
|
![](../../../00global/00pics/green-bl.png) |
|
![](../../../00global/00pics/green-br.png) |
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}
}
|
![](../g/pixel.png) |
|
|
|
|
|
|
|
|