5 citations · 14 across the 6 of their papers we have counts for
1 paper · 1 filter
Krishnendu Chatterjee, Monika Henzinger, Alexander Svozil
Graph games provide the foundation for modeling and synthesis of reactive processes. Such games are played over graphs where the vertices are controlled by two adversarial players.…