@misc{indiciae283a88bfda43,
  title = {The Value 1 Problem Under Finite-memory Strategies for Concurrent Mean-payoff Games},
  author = {Krishnendu Chatterjee and Rasmus Ibsen-Jensen},
  year = {2014},
  url = {https://arxiv.org/abs/1409.6690},
  note = {Source identifier: 1409.6690}
}