Rational Verification : A Progress Report
semanticscholar(2021)
摘要
We provide a survey of the state of the art of rational verification: the prob8 lem of checking whether a given temporal logic formula φ is satisfied in some or all 9 game theoretic equilibrium computations of a multi-agent system – that is, whether 10 the system will exhibit the behaviour φ represents under the assumption that agents 11 within the system act rationally in pursuit of their preferences. After motivating and 12 introducing the overall framework of rational verification, we discuss key results ob13 tained in the past few years as well as relevant related work in logic, AI, and Computer 14 Science. 15
更多查看译文
AI 理解论文
溯源树
样例
![](https://originalfileserver.aminer.cn/sys/aminer/pubs/mrt_preview.jpeg)
生成溯源树,研究论文发展脉络
Chat Paper
正在生成论文摘要