Journal Club: Deciding parity games in quasipolynomial time

8^th February 2018, 14:00
Sven Schewe

Abstract

Sven Schewe will be delivering a "Journal Club" style verification meeting today where he will share his enthusiasm for parity games, covering parts of https://dl.acm.org/citation.cfm?doid=3055399.3055409 and http://ieeexplore.ieee.org/document/8005092/.

Additional Materials

• https://dl.acm.org/citation.cfm?doid=3055399.3055409