Methods for Quantitative Analysis of 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.

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:	Institut Teoretické Informatiky Vysoce paralelní a distribuované výpočetní systémy