Other formats:
BibTeX
LaTeX
RIS
@inproceedings{584361,
author = {Brázdil, Tomáš and Esparza, Javier and Kučera, Antonín},
address = {Los Alamitos, California},
booktitle = {Proceedings of the 46th Annual IEEE Symposium on Foundations of Computer Science (FOCS 2005)},
keywords = {Probabilistic Pushdown Automata; Infinite Markov Chains; Quantitative Analysis},
language = {eng},
location = {Los Alamitos, California},
isbn = {0-7695-2468-0},
pages = {521-530},
publisher = {IEEE Computer Society},
title = {Analysis and Prediction of the Long-Run Behavior of Probabilistic Sequential Programs with Recursion},
year = {2005}
}
TY - JOUR
ID - 584361
AU - Brázdil, Tomáš - Esparza, Javier - Kučera, Antonín
PY - 2005
TI - Analysis and Prediction of the Long-Run Behavior of Probabilistic Sequential Programs with Recursion
PB - IEEE Computer Society
CY - Los Alamitos, California
SN - 0769524680
KW - Probabilistic Pushdown Automata
KW - Infinite Markov Chains
KW - Quantitative Analysis
N2 - 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.
ER -
BRÁZDIL, Tomáš, Javier ESPARZA and Antonín KUČERA. Analysis and Prediction of the Long-Run Behavior of Probabilistic Sequential Programs with Recursion. In \textit{Proceedings of the 46th Annual IEEE Symposium on Foundations of Computer Science (FOCS 2005)}. Los Alamitos, California: IEEE Computer Society, 2005, p.~521-530. ISBN~0-7695-2468-0.
|
