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.
Další formáty:   BibTeX LaTeX RIS
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 Computer sciences, information science, bioinformatics
Stát vydavatele Nizozemsko
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
Změnil Změnil: prof. RNDr. Antonín Kučera, Ph.D., učo 2508. Změněno: 22. 11. 2006 17:26.
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ěrNázev: Vysoce paralelní a distribuované výpočetní systémy
Investor: Ministerstvo školství, mládeže a tělovýchovy ČR, Výzkumné záměry
1M0545, projekt VaVNázev: Institut Teoretické Informatiky
Investor: Ministerstvo školství, mládeže a tělovýchovy ČR, Výzkumná centra (Národní program výzkumu)
VytisknoutZobrazeno: 17. 10. 2019 15:03