Methods for Quantitative Analysis of Probabilistic Pushdown Automata

KUČERA, Antonín. Methods for Quantitative Analysis of Probabilistic Pushdown Automata. Electronic Notes in Theoretical Computer Science. Elsevier, 2006, roč. 149, č. 1, s. 3-15. ISSN 1571-0661.

Základní údaje

• Originální název: Methods for Quantitative Analysis of Probabilistic Pushdown Automata
• Název česky: Metody pro kvantitativní analýzu pravděpodobnostních zásobníkových automatů
• Autoři: KUČERA, Antonín (203 Česká republika, garant).
• Vydání: Electronic Notes in Theoretical Computer Science, Elsevier, 2006, 1571-0661.

Další údaje

• Originální jazyk: angličtina
• Typ výsledku: Článek v odborném periodiku
• Obor: 10201 Computer sciences, information science, bioinformatics
• Stát vydavatele: Nizozemské království
• Utajení: není předmětem státního či obchodního tajemství
• Kód RIV: RIV/00216224:14330/06:00016575
• Organizační jednotka: Fakulta informatiky
• Klíčová slova anglicky: Infinite Markov Chains; Probabilistic Pushdown Automata
• Štítky: Infinite Markov Chains, Probabilistic Pushdown Automata
• Příznaky: Mezinárodní význam, Recenzováno

Anotace

We present a short overview of results about the problems of qualitative/quantitative analysis of probabilistic pushdown automata.

Anotace česky

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ů.

Návaznosti

• MSM0021622419, záměr: Název: Vysoce paralelní a distribuované výpočetní systémy

Investor: Ministerstvo školství, mládeže a tělovýchovy ČR, Vysoce paralelní a distribuované výpočetní systémy

• 1M0545, projekt VaV: Název: Institut Teoretické Informatiky

Investor: Ministerstvo školství, mládeže a tělovýchovy ČR, Institut Teoretické Informatiky