BriefGPT.xyz
Apr, 2022
信息分享系统中战略能力的模型验证
Model Checking Strategic Abilities in Information-sharing Systems
HTML
PDF
Francesco Belardinelli, Ioana Boureanu, Catalin Dima, Vadim Malvone
TL;DR
本文介绍了一种带有私有数据共享能力的不完美信息的并发博弈结构子类,这些结构可以通过特定的 ATL 片段模型检查,被称为 A-cast 系统,可以编码安全领域的复杂问题,如身份验证中的恐怖主义欺诈攻击。
Abstract
We introduce a subclass of
concurrent game structures
(CGS) with
imperfect information
in which agents are endowed with private data-sharing capabilities. Importantly, our CGSs are such that it is still decidable
→