Runtime Analysis of Probabilistic Programs with Unbounded Recursion

Varování

Publikace nespadá pod Ústav výpočetní techniky, ale pod Fakultu informatiky. Oficiální stránka publikace je na webu muni.cz.

Autoři	BRÁZDIL Tomáš KIEFER Stefan KUČERA Antonín HUTAŘOVÁ VAŘEKOVÁ Ivana
Rok publikování	2011
Druh	Článek ve sborníku
Konference	Proceedings of 38th International Colloquium on Automata, Languages and Programming (ICALP 2011)
Fakulta / Pracoviště MU	Fakulta informatiky
Citace
Obor	Informatika
Klíčová slova	pushdown automata; probabilistic systems; termination
Popis	V článku se zkoumají pravděpodobnostní systémy s neomezenou hloubkou rekurze. Jako matematický model těchto systémů jsou použity pravděpodobnostní zásobníkové automaty, které přesně odpovídají rekurzivním Markovovským procesům.
Související projekty:	Institut Teoretické Informatiky Vysoce paralelní a distribuované výpočetní systémy Formální metody pro analýzu a verifikaci komplexních systémů Rozsáhlé výpočetní systémy: modely, aplikace a verifikace