Publication

[HahnSTZ17] Synthesising Strategy Improvement and Recursive Algorithms for Solving 2.5 Player Parity Games Hahn, E. M.; Schewe, S.; Turrini, A. and Zhang, L. In VMCAI, pages 266-287, LNCS 10145, 2017.Downloads: bib