@misc{indiciae17c68d1a6458,
  title = {Characterising and Verifying the Core in Concurrent Multi-Player Mean-Payoff Games (Full Version)},
  author = {Julian Gutierrez and Anthony W. Lin and Muhammad Najib and Thomas Steeples and Michael Wooldridge},
  year = {2023},
  url = {https://arxiv.org/abs/2311.15883},
  note = {Source identifier: 2311.15883}
}