Runtime Analysis of Probabilistic Programs with Unbounded Recursion

Logo poskytovatele

Varování

Publikace nespadá pod Filozofickou fakultu, 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:

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