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

18^th October 2018, 13:00
Sven Schewe

Additional Materials

• https://link.springer.com/chapter/10.1007%2F978-3-319-52234-0_15