Taming Infinity One Chunk at a Time: Concisely Represented Strategies in One-Counter MDPs.

Michal Ajdarw, James C. A. Main, Petr Novotn, Mickael Randour

Browse the full ICALP paper archive.