Analysis and prediction of the long-run behavior of probabilistic sequential programs with recursion | IEEE Conference Publication | IEEE Xplore