Informace o publikaci

Analyzing probabilistic pushdown automata

Autoři

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

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.

Další info