12 citations · 41 across the 8 of their papers we have counts for
1 paper · 1 filter
Maciej Gazda, Tim A. C. Willemse
Small Progress Measures is one of the most efficient parity game solving algorithms. The original algorithm provides the full solution (winning regions and strategies) in $O(dm \cd…