TY  - RPRT
TI  - One-Counter Markov Decision Processes
AU  - Tomáš Brázdil
AU  - Václav Brožek
AU  - Kousha Etessami
AU  - Antonín Kučera
AU  - Dominik Wojtczak
PY  - 2009
UR  - https://arxiv.org/abs/0904.2511
ID  - 0904.2511
ER  -