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