activity
20102026
most citedModel-checking ATL under Imperfect Information and Perfect Recall Semantics is Undecidable

77 citations · 145 across the 23 of their papers we have counts for

collaborators
Showing 2022 · cs.MAShow all

1 paper · 2 filters

cs.MA2022★ 9 cited

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…