J 2006

Methods for Quantitative Analysis of Probabilistic Pushdown Automata

KUČERA, Antonín

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

Vydání

Electronic Notes in Theoretical Computer Science, Elsevier, 2006, 1571-0661

Další údaje

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í

Označené pro přenos do RIV

Ano

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

Příznaky

Mezinárodní význam, Recenzováno
Změněno: 22. 11. 2006 17:26, prof. RNDr. Antonín Kučera, Ph.D.

Anotace

ORIG CZ

V originále

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

Č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