32 citations · 168 across the 46 of their papers we have counts for
1 paper · 1 filter
Nathanaël Fijalkow, Florian Horn
Games on graphs provide a natural and powerful model for reactive systems. In this paper, we consider generalized reachability objectives, defined as conjunctions of reachability o…