@misc{indiciaef891815ce2f7,
  title = {One-Counter Markov Decision Processes},
  author = {Tomáš Brázdil and Václav Brožek and Kousha Etessami and Antonín Kučera and Dominik Wojtczak},
  year = {2009},
  url = {https://arxiv.org/abs/0904.2511},
  note = {Source identifier: 0904.2511}
}