TY  - RPRT
TI  - Synthesising Strategy Improvement and Recursive Algorithms for Solving 2.5 Player Parity Games
AU  - Ernst Moritz Hahn
AU  - Sven Schewe
AU  - Andrea Turrini
AU  - Lijun Zhang
PY  - 2016
UR  - https://arxiv.org/abs/1607.01474
ID  - 1607.01474
ER  -