Analyzing probabilistic pushdown automata

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áš 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	https://doi.org/10.1007/s10703-012-0166-0
Obor	Informatika
Klíčová slova	pushdown automata; Markov chains
Přiložené soubory	main.pdf
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:	Centrum excelence - Institut teoretické informatiky