论文标题的中文翻译：用于验证战略能力的双模拟方法及其在三票投票协议中的应用
摘要：交替的能力下的策略双模比较用于不完全信息情况下的多代理系统建模和验证，该双模比较保留了ATL$^*$的公式对于不完全信息下的"客观"和"主观"状态语义的完整性。此外，我们将理论结果应用于ThreeBallot投票系统的强制抵抗验证，该投票协议不使用密码学。特别是，我们展示了协议初始模型的自然简化实际上是原始模型的双模比较，因此满足同样的ATL$^*$属性，包括强制抵抗。相比于初始模型，这些简化使得模型检测工具MCMAS能够在具有更多选民和候选人的模型上终止。
作者：Francesco Belardinelli, Rodica Condurache, Catalin Dima, Wojciech Jamroga, Michal Knapik
论文ID：2203.13692
分类：Multiagent Systems
分类简称：cs.MA
提交时间：2023-04-26