STV+AGR: Towards Practical Verification of Strategic Ability Using Assume-Guarantee Reasoning
Damian Kurpiewski, {\L}ukasz Mikulski, Wojciech Jamroga
TL;DR
This paper introduces an enhanced version of the STV tool that enables practical verification of strategic abilities in multi-agent systems through assume-guarantee reasoning, with added web interface support.
Contribution
The paper presents a significantly expanded STV tool that supports assume-guarantee verification and offers a web interface for easier usability in multi-agent system analysis.
Findings
Supports assume-guarantee reasoning for multi-agent systems
Includes a new web interface for the verification tool
Enhances strategy synthesis capabilities
Abstract
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.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsLogic, Reasoning, and Knowledge · Multi-Agent Systems and Negotiation · Semantic Web and Ontologies