18 citations · 100 across the 22 of their papers we have counts for
Showing 2014Show all
2 papers · 1 filter
cs.LO2014★ 12 cited
The Fixpoint-Iteration Algorithm for Parity Games
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…
cs.FL2014★ 6 cited
Buffered Simulation Games for Büchi Automata
Milka Hutagalung, Martin Lange, Etienne Lozes
Simulation relations are an important tool in automata theory because they provide efficiently computable approximations to language inclusion. In recent years, extensions of ordin…