| BRÁZDIL, Tomáš, Václav BROŽEK, Jan HOLEČEK and 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, p. 230-242. ISBN 978-3-540-89438-4. |
Other formats:
BibTeX
LaTeX
RIS
@inproceedings{794015,
author = {Brázdil, Tomáš and Brožek, Václav and Holeček, Jan and Kučera, Antonín},
address = {Berlin Heidelberg New York},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning, 15th International Conference, LPAR 2008},
keywords = {Markov chains; discounting; pushdown automata},
language = {eng},
location = {Berlin Heidelberg New York},
isbn = {978-3-540-89438-4},
pages = {230-242},
publisher = {Springer},
title = {Discounted Properties of Probabilistic Pushdown Automata},
year = {2008}
}
TY - JOUR
ID - 794015
AU - Brázdil, Tomáš - Brožek, Václav - Holeček, Jan - Kučera, Antonín
PY - 2008
TI - Discounted Properties of Probabilistic Pushdown Automata
PB - Springer
CY - Berlin Heidelberg New York
SN - 9783540894384
KW - Markov chains
KW - discounting
KW - pushdown automata
N2 - 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.
ER -
BRÁZDIL, Tomáš, Václav BROŽEK, Jan HOLEČEK and Antonín KUČERA. Discounted Properties of Probabilistic Pushdown Automata. In \textit{Logic for Programming, Artificial Intelligence, and Reasoning, 15th International Conference, LPAR 2008}. Berlin Heidelberg New York: Springer, 2008, p.~230-242. ISBN~978-3-540-89438-4.
|
