Synthesising Strategy Improvement and Recursive Algorithms for Solving 2.5 Player Parity Games.

Ernst Moritz Hahn, Sven Schewe, Andrea Turrini, Lijun Zhang

Browse the full VMCAI paper archive.