@misc{indiciaec94b30dd37eb,
  title = {Synthesising Strategy Improvement and Recursive Algorithms for Solving 2.5 Player Parity Games},
  author = {Ernst Moritz Hahn and Sven Schewe and Andrea Turrini and Lijun Zhang},
  year = {2016},
  url = {https://arxiv.org/abs/1607.01474},
  note = {Source identifier: 1607.01474}
}