18 citations · 100 across the 22 of their papers we have counts for
1 paper · 2 filters
Florian Bruse, Michael Falk, Martin Lange
It is known that the model checking problem for the modal mu-calculus reduces to the problem of solving a parity game and vice-versa. The latter is realised by the Walukiewicz form…