8 citations · 33 across the 13 of their papers we have counts for
1 paper · 1 filter
Athanasios Kehagias
In this short note we study a class of multi-player, turn-based games with deterministic state transitions and reachability / safety objectives (this class contains as special case…