Rational Verification: From Model Checking To Equilibrium Checking
AAAI'16: Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence(2016)
摘要
Rational verification is concerned with establishing whether a given temporal logic formula phi is satisfied in some or all equilibrium computations of a multi-agent system that is, whether the system will exhibit the behaviour y under the assumption that agents within the system act rationally in pursuit of their preferences. After motivating and introducing the framework of rational verification, we present formal models through which rational verification can be studied, and survey the complexity of key decision problems. We give an overview of a prototype software tool for rational verification, and conclude with a discussion and related work.
更多查看译文
关键词
model checking,rational verification
AI 理解论文
溯源树
样例
生成溯源树,研究论文发展脉络
Chat Paper
正在生成论文摘要