| BRÁZDIL, Tomáš, Václav BROŽEK, Kousha ETESSAMI and 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, p. 332-343. ISBN 978-3-642-22011-1. |
Other formats:
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 and 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, p.~332-343. ISBN~978-3-642-22011-1.
|
