Jan, 2024

随机多智能体系统中的自然战略能力

TL;DR通过使用自然策略,模型检测概率时态逻辑在随机多代理系统下的复杂性结果是:当限制主动联盟为确定性策略时,使用自然策略的模型检测是NP完全问题;在不受限制的情况下,使用自然策略的模型检测的复杂度为EXPSPACE。