9 citations · 21 across the 5 of their papers we have counts for
3 papers · 1 filter
Bisimulations for Verifying Strategic Abilities with an Application to the ThreeBallot Voting Protocol
Francesco Belardinelli, Rodica Condurache, Catalin Dima +2
We propose a notion of alternating bisimulation for strategic abilities under imperfect information. The bisimulation preserves formulas of ATL for both the {\em objective} and…
Fixpoint Approximation of Strategic Abilities under Imperfect Information
Wojciech Jamroga, Michał Knapik, Damian Kurpiewski
Model checking of strategic ability under imperfect information is known to be hard. The complexity results range from NP-completeness to undecidability, depending on the precise s…
Approximating Strategic Abilities under Imperfect Information: a Naive Approach
Wojciech Jamroga, Michał Knapik, Damian Kurpiewski
Alternating-time temporal logic (ATL) allows to specify requirements on abilities that different agents should (or should not) possess in a multi-agent system. However, model check…