"P(1M0545), P(GAP202/10/1469), Z(MSM0021622419)" . "3"^^ . . "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."@en . "186948" . "978-3-642-22011-1" . "RIV/00216224:14330/11:00049981!RIV12-GA0-14330___" . "2011-01-01+01:00"^^ . "stochastic games; one-counter automata"@en . . "4"^^ . "12"^^ . "RIV/00216224:14330/11:00049981" . . "Br\u00E1zdil, Tom\u00E1\u0161" . . "Zurich, Switzerland" . . "Approximating the Termination Value of One-Counter MDPs and Stochastic Games" . "Proceedings of 38th International Colloquium on Automata, Languages and Programming (ICALP 2011)" . . . . . "14330" . . "Approximating the Termination Value of One-Counter MDPs and Stochastic Games"@en . "Approximating the Termination Value of One-Counter MDPs and Stochastic Games"@en . "Ku\u010Dera, Anton\u00EDn" . . "Approximating the Termination Value of One-Counter MDPs and Stochastic Games" . "Bro\u017Eek, V\u00E1clav" . "Etessami, Kousha" . "Berlin" . . "[736F1DF16965]" . "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." . . . . . . "Springer-Verlag" . . . . .