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. |
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 | 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 |
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ě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 |
VytisknoutZobrazeno: 23. 9. 2024 23:01