[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: bibURL: https://doi.org/10.1007/978-3-319-52234-0_15