@misc{indiciae33fa61f5848f,
  title = {Qualitative Analysis of Concurrent Mean-payoff Games},
  author = {Krishnendu Chatterjee and Rasmus Ibsen-Jensen},
  year = {2014},
  url = {https://arxiv.org/abs/1409.5306},
  note = {Source identifier: 1409.5306}
}