Methods for Quantitative Analysis of Probabilistic Pushdown Automata

Varování

Publikace nespadá pod Filozofickou fakultu, ale pod Fakultu informatiky. Oficiální stránka publikace je na webu muni.cz.
Název česky Metody pro kvantitativní analýzu pravděpodobnostních zásobníkových automatů
Autoři

KUČERA Antonín

Rok publikování 2006
Druh Článek v odborném periodiku
Časopis / Zdroj Electronic Notes in Theoretical Computer Science
Fakulta / Pracoviště MU

Fakulta informatiky

Citace
Obor Informatika
Klíčová slova Infinite Markov Chains; Probabilistic Pushdown Automata
Popis V článku je prezentován krátký přehled výsledků o problémech z oblasti kvalitativní a kvantitativní analýzy pravděpodobnostních zásobníkových automatů.
Související projekty:

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