BRÁZDIL, Tomáš, Václav BROŽEK, Kousha ETESSAMI a Antonín KUČERA. Approximating the Termination Value of One-Counter MDPs and Stochastic Games. In Luca Aceto, Monika Henzinger, Jiří Sgall. Proceedings of 38th International Colloquium on Automata, Languages and Programming (ICALP 2011). Berlin: Springer, 2011, s. 332-343. ISBN 978-3-642-22011-1. |
Další formáty:
BibTeX
LaTeX
RIS
@inproceedings{950131, author = {Brázdil, Tomáš and Brožek, Václav and Etessami, Kousha and Kučera, Antonín}, address = {Berlin}, booktitle = {Proceedings of 38th International Colloquium on Automata, Languages and Programming (ICALP 2011)}, editor = {Luca Aceto, Monika Henzinger, Jiří Sgall}, keywords = {stochastic games; one-counter automata}, language = {eng}, location = {Berlin}, isbn = {978-3-642-22011-1}, pages = {332-343}, publisher = {Springer}, title = {Approximating the Termination Value of One-Counter MDPs and Stochastic Games}, year = {2011} }
TY - JOUR ID - 950131 AU - Brázdil, Tomáš - Brožek, Václav - Etessami, Kousha - Kučera, Antonín PY - 2011 TI - Approximating the Termination Value of One-Counter MDPs and Stochastic Games PB - Springer CY - Berlin SN - 9783642220111 KW - stochastic games KW - one-counter automata N2 - We show that all quantitative approximation problems for the termination value for one-counter MDPs and one-counter stochastic games are computable. Specifically, given a one-counter game, and given e > 0, we can compute a value v that approximates the value of the termination game within additive error e, and furthermore we can compute e-optimal strategies for both players in the game. ER -
BRÁZDIL, Tomáš, Václav BROŽEK, Kousha ETESSAMI a Antonín KUČERA. Approximating the Termination Value of One-Counter MDPs and Stochastic Games. In Luca Aceto, Monika Henzinger, Jiří Sgall. \textit{Proceedings of 38th International Colloquium on Automata, Languages and Programming (ICALP 2011)}. Berlin: Springer, 2011, s.~332-343. ISBN~978-3-642-22011-1.
|