BriefGPT.xyz
Jan, 2024
随机多智能体系统中的自然战略能力
Natural Strategic Ability in Stochastic Multi-Agent Systems
HTML
PDF
Raphaël Berthon, Joost-Pieter Katoen, Munyque Mittelmann, Aniello Murano
TL;DR
通过使用自然策略,模型检测概率时态逻辑在随机多代理系统下的复杂性结果是:当限制主动联盟为确定性策略时,使用自然策略的模型检测是NP完全问题;在不受限制的情况下,使用自然策略的模型检测的复杂度为EXPSPACE。
Abstract
strategies synthesized
using formal methods can be complex and often require infinite memory, which does not correspond to the expected behavior when trying to model Multi-Agent Systems (MAS). To capture such behaviors,
→