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