15 citations · 37 across the 12 of their papers we have counts for
1 paper · 2 filters
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…