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. ISBN 978-3-540-89438-4. |
Další formáty:
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 a 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, s.~230-242. ISBN~978-3-540-89438-4.
|