45 citations · 149 across the 52 of their papers we have counts for
1 paper · 1 filter
Marta Kwiatkowska, Gethin Norman, Ashutosh Trivedi
Two-player zero-sum games are a well-established model for synthesising controllers that optimise some performance criterion. In such games one player represents the controller, wh…