@misc{indiciae7c95fe45dac8,
  title = {Model-checking Quantitative Alternating-time Temporal Logic on One-counter Game Models},
  author = {Steen Vester},
  year = {2014},
  url = {https://arxiv.org/abs/1409.5681},
  note = {Source identifier: 1409.5681}
}