15 citations · 37 across the 12 of their papers we have counts for
1 paper · 2 filters
Julien Cristau, Claire David, Florian Horn
Graph games of infinite length are a natural model for open reactive processes: one player represents the controller, trying to ensure a given specification, and the other represen…