25 citations · 124 across the 16 of their papers we have counts for
1 paper · 1 filter
Jeroen J. A. Keiren
We propose a benchmark suite for parity games that includes all benchmarks that have been used in the literature, and make it available online. We give an overview of the parity ga…