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, roč. 149, č. 1, s. 3-15. ISSN 1571-0661. 2006. |
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: 17. 4. 2024 21:24