容量ATL
摘要：模型检测战略能力自2000年代初以来已成功发展并应用于多智能体系统中确保属性。在本文中，我们介绍了给予一个代理人不同能力的概念。这自然适用于多个实体可以在游戏中扮演相同角色的系统，例如在协议分析中不同的客户端版本，异构舰队中的不同机器人，社会结构建模中的不同个性特征，或者在网络安全设置中的不同攻击者配置文件。由于其他代理人的能力在游戏开始时未知，因此产生了长期存在的不完全信息问题。我们的贡献如下：（i）我们定义了一类新的并发游戏结构，其中代理具有不同的能力，可修改其行动列表；（ii）我们引入了一种逻辑，扩展了交替时间时间逻辑，用于推理这些游戏。
作者：Gabriel Ballot, Vadim Malvone, Jean Leneutre, Youssef Laarouchi
论文ID：2308.11039
分类：Multiagent Systems
分类简称：cs.MA
提交时间：2023-08-23