Analyzing probabilistic pushdown automata

• 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
• Doi: http://dx.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