Detailed Information on Publication Record
2008
Discounted Properties of Probabilistic Pushdown Automata
BRÁZDIL, Tomáš, Václav BROŽEK, Jan HOLEČEK and Antonín KUČERABasic information
Original name
Discounted Properties of Probabilistic Pushdown Automata
Name in Czech
Diskontované vlastnosti pravděpodobnostních zásobníkových automatů
Authors
BRÁZDIL, Tomáš (203 Czech Republic), Václav BROŽEK (203 Czech Republic), Jan HOLEČEK (203 Czech Republic) and Antonín KUČERA (203 Czech Republic, guarantor)
Edition
Berlin Heidelberg New York, Logic for Programming, Artificial Intelligence, and Reasoning, 15th International Conference, LPAR 2008, p. 230-242, 13 pp. 2008
Publisher
Springer
Other information
Language
English
Type of outcome
Stať ve sborníku
Field of Study
10201 Computer sciences, information science, bioinformatics
Country of publisher
Germany
Confidentiality degree
není předmětem státního či obchodního tajemství
RIV identification code
RIV/00216224:14330/08:00026776
Organization unit
Faculty of Informatics
ISBN
978-3-540-89438-4
UT WoS
000262502600017
Keywords in English
Markov chains; discounting; pushdown automata
Tags
International impact, Reviewed
Změněno: 22/5/2009 15:11, prof. RNDr. Antonín Kučera, Ph.D.
V originále
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.
In Czech
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.
Links
MSM0021622419, plan (intention) |
| ||
1M0545, research and development project |
|