TY  - RPRT
TI  - Minimizing Expected Termination Time in One-Counter Markov Decision Processes
AU  - Tomáš Brázdil
AU  - Antonín Kučera
AU  - Petr Novotný
AU  - Dominik Wojtczak
PY  - 2012
UR  - https://arxiv.org/abs/1205.1473
ID  - 1205.1473
ER  -