Practical Abstraction for Model Checking of Multi-Agent Systems

02/24/2022
by   Wojciech Jamroga, et al.
0

Model checking of multi-agent systems (MAS) is known to be hard, both theoretically and in practice. A smart abstraction of the state space may significantly reduce the model, and facilitate the verification. In this paper, we propose and study an intuitive agent-based abstraction scheme, based on the removal of variables in the representation of a MAS. This allows to do the reduction without generating the global model of the system. Moreover, the process is easy to understand and control even for domain experts with little knowledge of computer science. We formally prove the correctness of the approach, and evaluate the gains experimentally on models of a postal voting procedure.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
07/19/2023

Practical Model Reductions for Verification of Multi-Agent Systems

Formal verification of intelligent agents is often computationally infea...
research
07/28/2023

User-Driven Abstraction for Model Checking

Model checking has found a role in the engineering of reactive systems. ...
research
10/19/2022

Verification of the Socio-Technical Aspects of Voting: The Case of the Polish Postal Vote 2020

Voting procedures are designed and implemented by people, for people, an...
research
07/11/2023

Process-Algebraic Models of Multi-Writer Multi-Reader Non-Atomic Registers

We present process-algebraic models of multi-writer multi-reader safe, r...
research
08/11/2020

SMT-based Safety Verification of Parameterised Multi-Agent Systems

In this paper we study the verification of parameterised multi-agent sys...
research
07/27/2023

Base-based Model Checking for Multi-Agent Only Believing (long version)

We present a novel semantics for the language of multi-agent only believ...
research
01/12/2013

Verification of Agent-Based Artifact Systems

Artifact systems are a novel paradigm for specifying and implementing bu...

Please sign up or login with your details

Forgot password? Click here to reset