有限视野多智能体并发博弈中的纳什均衡
计算机科学与博弈论
2022-05-03 v2
摘要
在具有有限视野时序目标的多智能体并发博弈中寻找纯策略纳什均衡的问题近来受到一些关注。早期工作通过使用 Rabin 自动机解决了该问题。在本工作中，我们利用智能体目标的有限视野性质，表明可通过结合安全博弈与 Büchi 自动机中的套索测试来检查和寻找纯策略纳什均衡。为了将策略推理与时序推理分离，我们通过确定性有限字自动机（DFA）对智能体目标建模，因为诸如 LTL_f 和 LDL_f 等有限视野逻辑是通过转换为等价 DFA 来进行推理的。这使我们能够将问题的复杂性刻画为 PSPACE 完全。
引用
@article{arxiv.2101.00716,
title = {Nash Equilibria in Finite-Horizon Multiagent Concurrent Games},
author = {Senthil Rajasekaran and Moshe Y. Vardi},
journal= {arXiv preprint arXiv:2101.00716},
year = {2022}
}
备注
Technical report for an AAMAS 2021 paper v2 - cleaned up typos, fixed some bugs