Logic, automata, algebra and games
Thursday November 23, 2017, 10AM, 4033
Nathanaël Fijlakow (Turing Institute / CNRS) Quasi-polynomial algorithms for parity games