Informační systém MU
BRÁZDIL, Tomáš, Javier ESPARZA, Stefan KIEFER a Antonín KUČERA. Analyzing probabilistic pushdown automata. Formal Methods in System Design. Springer Netherlands, 2013, roč. 43, č. 2, s. 124-163. ISSN 0925-9856. doi:10.1007/s10703-012-0166-0.
Další formáty:   BibTeX LaTeX RIS
Zá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
Originální 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
Doi http://dx.doi.org/10.1007/s10703-012-0166-0
UT WoS 000324114600002
Klíčová slova česky zásobníkové automaty; Markovovské řetězce
Klíčová slova anglicky pushdown automata; Markov chains
Štítky formela-journal
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: 24. 11. 2013 19:09.
Anotace
The paper gives a summary of the existing results about algorithmic analysis of probabilistic pushdown automata and their subclasses.
Anotace č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 VaVNázev: Centrum excelence - Institut teoretické informatiky (CE-ITI) (Akronym: CE-ITI)
Investor: Grantová agentura ČR, Centrum excelence - Institut teoretické informatiky
Zobrazeno: 30. 11. 2022 22:55