TY  - RPRT
TI  - Bisimulations for Verifying Strategic Abilities with an Application to the ThreeBallot Voting Protocol
AU  - Francesco Belardinelli
AU  - Rodica Condurache
AU  - Catalin Dima
AU  - Wojciech Jamroga
AU  - Michal Knapik
PY  - 2023
DO  - 10.1016/j.ic.2020.104552
UR  - https://arxiv.org/abs/2203.13692
ID  - 2203.13692
ER  -