4 citations · 5 across the 5 of their papers we have counts for
1 paper · 1 filter
Marco Aruta, Vadim Malvone, Aniello Murano +2
Reasoning about what agents can achieve through strategic interaction is a core challenge in Multi-Agent Systems (MAS). Logics for strategic ability, such as ATL, provide rigorous…