STV+AGR: Towards Practical Verification of Strategic Ability Using Assume-Guarantee Reasoning

Damian Kurpiewski,Łukasz Mikulski,Wojciech Jamroga

arXiv (Cornell University)（2022）

引用 0|浏览0

暂无评分

摘要

We present a substantially expanded version of our tool STV for strategy synthesis and verification of strategic abilities. The new version provides a web interface and support for assume-guarantee verification of multi-agent systems.

查看译文

关键词

practical verification,strategic ability,assume-guarantee

AI 理解论文

溯源树

样例

生成溯源树，研究论文发展脉络

Chat Paper

正在生成论文摘要