Analysis and Prediction of the Long-Run Behavior of Probabilistic Sequential Programs with Recursion (Extended Abstract).

Toms Brzdil, Javier Esparza, Antonn Kucera

Browse the full FOCS paper archive.