BRÁZDIL, Tomáš, Václav BROŽEK, Jan HOLEČEK a Antonín KUČERA. Discounted Properties of Probabilistic Pushdown Automata. In Logic for Programming, Artificial Intelligence, and Reasoning, 15th International Conference, LPAR 2008. Berlin Heidelberg New York: Springer, 2008. s. 230-242, 13 s. ISBN 978-3-540-89438-4.
Další formáty:   BibTeX LaTeX RIS
Základní údaje
Originální název Discounted Properties of Probabilistic Pushdown Automata
Název česky Diskontované vlastnosti pravděpodobnostních zásobníkových automatů
Autoři BRÁZDIL, Tomáš (203 Česká republika), Václav BROŽEK (203 Česká republika), Jan HOLEČEK (203 Česká republika) a Antonín KUČERA (203 Česká republika, garant).
Vydání Berlin Heidelberg New York, Logic for Programming, Artificial Intelligence, and Reasoning, 15th International Conference, LPAR 2008, od s. 230-242, 13 s. 2008.
Nakladatel Springer
Další údaje
Originální jazyk angličtina
Typ výsledku Stať ve sborníku
Obor Computer sciences, information science, bioinformatics
Stát vydavatele Německo
Utajení není předmětem státního či obchodního tajemství
Kód RIV RIV/00216224:14330/08:00026776
Organizační jednotka Fakulta informatiky
ISBN 978-3-540-89438-4
UT WoS 000262502600017
Klíčová slova anglicky Markov chains; discounting; pushdown automata
Štítky discounting, Markov chains, 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. 5. 2009 15:11.
Anotace
We show that several basic discounted properties of probabilistic pushdown automata related both to terminating and non-terminating runs can be efficiently approximated up to an arbitrarily small given precision.
Anotace česky
V článku je dokázáno, že řadu diskontovaných vlastností pravděpodobnostních zásobníkových automatů definovaných pro ukončené i neukončené běhy lze efektivně aproximovat na libovolnou předem danou přesnost.
Návaznosti
MSM0021622419, záměrNázev: Vysoce paralelní a distribuované výpočetní systémy
Investor: Ministerstvo školství, mládeže a tělovýchovy ČR, Výzkumné záměry
1M0545, projekt VaVNázev: Institut Teoretické Informatiky
Investor: Ministerstvo školství, mládeže a tělovýchovy ČR, Výzkumná centra (Národní program výzkumu)
VytisknoutZobrazeno: 15. 10. 2019 01:55