Informace o publikaci
Analysis and Prediction of the Long-Run Behavior of Probabilistic Sequential Programs with Recursion
| Název česky | Analýza a predikce chování náhodnostních sekvenčních programů s rekurzí |
|---|---|
| Autoři | |
| Rok publikování | 2005 |
| Druh | Článek ve sborníku |
| Konference | Proceedings of the 46th Annual IEEE Symposium on Foundations of Computer Science (FOCS 2005) |
| Fakulta / Pracoviště MU | |
| Citace | |
| Obor | Informatika |
| Klíčová slova | Probabilistic Pushdown Automata; Infinite Markov Chains; Quantitative Analysis |
| Popis | Zavedeme třídu limitních vlastností Markovových řetězců, které umožňují formulovat řadu požadavků na výkon a spolehlivost systémů, které jsou těmito řetězci popsány. Dokážeme, že tyto vlastnosti jsou algoritmicky ověřitelné pro řetězce generované náhodnostními programy s rekurzivními procedurami. Rovněž ukážeme, jak lze tyto vlastnosti předvídat na základě konečného prefixu daného běhu. |
| Související projekty: |