13 citations · 13 across the 2 of their papers we have counts for
2 papers
cs.LO2016
Parity Game Reductions
S. Cranen, J. J. A. Keiren, T. A. C. Willemse
Parity games play a central role in model checking and satisfiability checking. Solving parity games is computationally expensive, among others due to the size of the games, which,…
cs.LO2011★ 13 cited
Stuttering Equivalence for Parity Games
Sjoerd Cranen, Jeroen J. A. Keiren, Tim A. C. Willemse
We study the process theoretic notion of stuttering equivalence in the setting of parity games. We demonstrate that stuttering equivalent vertices have the same winner in the parit…