27 citations · 152 across the 31 of their papers we have counts for
1 paper · 1 filter
Maciej Gazda, Tim A. C. Willemse
Small Progress Measures is one of the classical parity game solving algorithms. For games with n vertices, m edges and d different priorities, the original algorithm computes the w…