Verification Series
Synthesising Strategy Improvement and Recursive Algorithms for Solving 2.5 Player Parity Games
18th October 2018, 13:00
Sven Schewe
Additional Materials
Maintained by Alexei Lisitsa
18th October 2018, 13:00
Sven Schewe
Maintained by Alexei Lisitsa