EasyChair Smart Slide
Solving Parity Games: Explicit vs Symbolic
Solving Parity Games: Explicit vs Symbolic