Hyper Strategy Logic
International Joint Conference on Autonomous Agents & Multiagent Systems(2024)
摘要
Strategy logic (SL) is a powerful temporal logic that enables strategic
reasoning in multi-agent systems. SL supports explicit (first-order)
quantification over strategies and provides a logical framework to express many
important properties such as Nash equilibria, dominant strategies, etc. While
in SL the same strategy can be used in multiple strategy profiles, each such
profile is evaluated w.r.t. a path-property, i.e., a property that considers
the single path resulting from a particular strategic interaction. In this
paper, we present Hyper Strategy Logic (HyperSL), a strategy logic where the
outcome of multiple strategy profiles can be compared w.r.t. a hyperproperty,
i.e., a property that relates multiple paths. We show that HyperSL can capture
important properties that cannot be expressed in SL, including
non-interference, quantitative Nash equilibria, optimal adversarial planning,
and reasoning under imperfect information. On the algorithmic side, we identify
an expressive fragment of HyperSL with decidable model checking and present a
model-checking algorithm. We contribute a prototype implementation of our
algorithm and report on encouraging experimental results.
更多查看译文
AI 理解论文
溯源树
样例
生成溯源树,研究论文发展脉络
Chat Paper
正在生成论文摘要