Analysis and Prediction of the Long-Run Behavior of Probabilistic Sequential Programs with Recursion

Logo poskytovatele

Varování

Publikace nespadá pod Filozofickou fakultu, ale pod Fakultu informatiky. Oficiální stránka publikace je na webu muni.cz.
Název česky Analýza a predikce chování náhodnostních sekvenčních programů s rekurzí
Autoři

BRÁZDIL Tomáš ESPARZA Javier KUČERA Antonín

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

Fakulta informatiky

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:

Používáte starou verzi internetového prohlížeče. Doporučujeme aktualizovat Váš prohlížeč na nejnovější verzi.