Improving Parity Game Solvers with Justifications.

Ruben Lapauw, Maurice Bruynooghe, Marc Denecker

Browse the full VMCAI paper archive.