A Matrix-Based Approach to Parity Games.

Saksham Aggarwal, Alejandro Stuckey de la Banda, Luke Yang, Julian Gutierrez

Browse the full TACAS paper archive.