One-Counter Markov Decision Processes.

Toms Brzdil, Vclav Brozek, Kousha Etessami, Antonn Kucera, Dominik Wojtczak

Browse the full SODA paper archive.