论文标题
STV+AGR：使用假定保证推理实践验证战略能力
STV+AGR: Towards Practical Verification of Strategic Ability Using Assume-Guarantee Reasoning
论文作者
论文摘要
我们为战略合成和战略能力验证提供了工具STV的大幅扩展版本。新版本为多代理系统的假设验证提供了网络界面和支持。
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.
