Analyzing probabilistic pushdown automata

Logo poskytovatele

Varování

Publikace nespadá pod Pedagogickou fakultu, ale pod Fakultu informatiky. Oficiální stránka publikace je na webu muni.cz.
Autoři

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

Rok publikování 2013
Druh Článek v odborném periodiku
Časopis / Zdroj Formal Methods in System Design
Fakulta / Pracoviště MU

Fakulta informatiky

Citace
Doi http://dx.doi.org/10.1007/s10703-012-0166-0
Obor Informatika
Klíčová slova pushdown automata; Markov chains
Přiložené soubory
Popis V článku je podán přehled známých výsledků o pravděpodobnostních zásobníkových automatech a některých jejich podtřídách.
Související projekty:

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