TY  - RPRT
TI  - Approximating the Termination Value of One-Counter MDPs and Stochastic Games
AU  - Tomáš Brázdil
AU  - Václav Brožek
AU  - Kousha Etessami
AU  - Antonín Kučera
PY  - 2011
UR  - https://arxiv.org/abs/1104.4978
ID  - 1104.4978
ER  -