Analysis and prediction of the long-run behavior of probabilistic sequential programs with recursion (2005)

by T Brázdil, J Esparza, A Kučera
Venue:In Proceedings of 46th IEEE Symposium on Foundations of Computer Science (FOCS