Minimizing Expected Termination Time in One-Counter Markov Decision Processes

Tomáš Brázdil, Antonín Kučera, Petr Novotný +1

We consider the problem of computing the value and an optimal strategy for minimizing the expected termination time in one-counter Markov decision processes. Since the value may be…