@misc{indiciae3eb5db94c840,
  title = {A pseudo-quasi-polynomial algorithm for solving mean-payoff parity games},
  author = {Laure Daviaud and Marcin Jurdzinski and Ranko Lazic},
  year = {2018},
  doi = {10.1145/3209108.3209162},
  url = {https://arxiv.org/abs/1803.04756},
  note = {Source identifier: 1803.04756}
}