2013
Analyzing probabilistic pushdown automata
BRÁZDIL, Tomáš, Javier ESPARZA, Stefan KIEFER a Antonín KUČERAZákladní údaje
Originální název
Analyzing probabilistic pushdown automata
Autoři
BRÁZDIL, Tomáš (203 Česká republika, domácí), Javier ESPARZA (724 Španělsko), Stefan KIEFER (276 Německo) a Antonín KUČERA (203 Česká republika, garant, domácí)
Vydání
Formal Methods in System Design, Springer Netherlands, 2013, 0925-9856
Další údaje
Jazyk
angličtina
Typ výsledku
Článek v odborném periodiku
Obor
10201 Computer sciences, information science, bioinformatics
Stát vydavatele
Německo
Utajení
není předmětem státního či obchodního tajemství
Impakt faktor
Impact factor: 0.404
Kód RIV
RIV/00216224:14330/13:00065960
Organizační jednotka
Fakulta informatiky
UT WoS
000324114600002
Klíčová slova česky
zásobníkové automaty; Markovovské řetězce
Klíčová slova anglicky
pushdown automata; Markov chains
Štítky
Příznaky
Mezinárodní význam, Recenzováno
Změněno: 24. 11. 2013 19:09, prof. RNDr. Antonín Kučera, Ph.D.
V originále
The paper gives a summary of the existing results about algorithmic analysis of probabilistic pushdown automata and their subclasses.
Česky
V článku je podán přehled známých výsledků o pravděpodobnostních zásobníkových automatech a některých jejich podtřídách.
Návaznosti
GBP202/12/G061, projekt VaV |
|