activity
20072025
most citedModel-Checking an Alternating-time Temporal Logic with Knowledge, Imperfect Information, Perfect Recall and Communicating Coalitions

29 citations · 40 across the 9 of their papers we have counts for

collaborators
Showing 2014 · cs.LOShow all

1 paper · 2 filters

cs.LO2014

Refining and Delegating Strategic Ability in ATL

Dimitar P. Guelev

We propose extending Alternating-time Temporal Logic (ATL) by an operator <i refines-to G> F to express that agent i can distribute its powers to a set of sub-agents G in a way whi…