7 citations · 18 across the 8 of their papers we have counts for
1 paper · 2 filters
Simon Busard, Charles Pecheur, Hongyang Qu +1
A number of extensions exist for Alternating-time Temporal Logic; some of these mix strategies and partial observability but, to the best of our knowledge, no work provides a unifi…