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

@misc{novotný2025taminginfinityone,
      title={Taming Infinity one Chunk at a Time: Concisely Represented Strategies in  One-Counter MDPs}, 
      author={Petr Novotný and Mickael Randour and James C. A. Main and Michal Ajdarów},
      year={2025},
      eprint={2503.00788},
      archivePrefix={arXiv},
      primaryClass={cs.GT},
      url={https://arxiv.org/abs/2503.00788}, 
}