This page shows all presentations from this conference published in EasyChair Smart Slide.
Solving Parity Games: Explicit vs Symbolic
Antonio Di Stasio, Aniello Murano and Moshe Vardi