Minimizing Expected Termination Time in One-Counter Markov Decision Processes.

Toms Brzdil, Antonn Kucera, Petr Novotn, Dominik Wojtczak

Browse the full ICALP paper archive.