6 citations · 6 across the 1 of their papers we have counts for
1 paper
Krishnendu Chatterjee, Wolfgang Dvořák, Monika Henzinger +1
Games on graphs provide the appropriate framework to study several central problems in computer science, such as the verification and synthesis of reactive systems. One of the most…