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

03/02/2022
by   Damian Kurpiewski, et al.
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.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
03/25/2022

Bisimulations for Verifying Strategic Abilities with an Application to the ThreeBallot Voting Protocol

We propose a notion of alternating bisimulation for strategic abilities ...
research
04/30/2021

Tracking and managing deemed abilities

Information about the powers and abilities of acting entities is used to...
research
03/08/2020

Strategic Abilities of Asynchronous Agents: Semantic Paradoxes and How to Tame Them

Recently, we proposed a framework for verification of agents' abilities ...
research
02/06/2013

On Stable Multi-Agent Behavior in Face of Uncertainty

A stable joint plan should guarantee the achievement of a designer's goa...
research
09/07/2021

Modelling Strategic Deceptive Planning in Adversarial Multi-Agent Systems

Deception is virtually ubiquitous in warfare, and should be a central co...
research
07/19/2023

Practical Model Reductions for Verification of Multi-Agent Systems

Formal verification of intelligent agents is often computationally infea...
research
11/15/2017

Efficient Verification of Multi-Property Designs (The Benefit of Wrong Assumptions) (Extended Version)

We consider the problem of efficiently checking a set of safety properti...

Please sign up or login with your details

Forgot password? Click here to reset