"Analysis and Prediction of the Long-Run Behavior of Probabilistic Sequential Programs with Recursion"@en . . "[7E497778B15F]" . . "Analysis and Prediction of the Long-Run Behavior of Probabilistic Sequential Programs with Recursion"@en . . . . "RIV/00216224:14330/05:00012708" . . "Analysis and Prediction of the Long-Run Behavior of Probabilistic Sequential Programs with Recursion" . "Pittsburgh, Pennsylvania, USA" . . "2005-10-23+02:00"^^ . "Proceedings of the 46th Annual IEEE Symposium on Foundations of Computer Science (FOCS 2005)" . . "2"^^ . . "3"^^ . . "We introduce a family of long-run average properties of Markov chains that are useful for purposes of performance and reliability analysis, and show that these properties can effectively be checked for a subclass of infinite-state Markov chains generated by probabilistic programs with recursive procedures. We also show how to predict these properties by analyzing finite prefixes of runs, and present an efficient prediction algorithm for the mentioned subclass of Markov chains."@en . . "Analysis and Prediction of the Long-Run Behavior of Probabilistic Sequential Programs with Recursion" . "P(1M0545), P(GA201/03/1161), Z(MSM0021622419)" . "IEEE Computer Society" . "0-7695-2468-0" . "Ku\u010Dera, Anton\u00EDn" . . "We introduce a family of long-run average properties of Markov chains that are useful for purposes of performance and reliability analysis, and show that these properties can effectively be checked for a subclass of infinite-state Markov chains generated by probabilistic programs with recursive procedures. We also show how to predict these properties by analyzing finite prefixes of runs, and present an efficient prediction algorithm for the mentioned subclass of Markov chains." . "10"^^ . "Esparza, Javier" . "RIV/00216224:14330/05:00012708!RIV10-GA0-14330___" . "512007" . "14330" . . "Probabilistic Pushdown Automata; Infinite Markov Chains; Quantitative Analysis"@en . . "Los Alamitos, California" . . "Br\u00E1zdil, Tom\u00E1\u0161" . . . . . .