The Impact of Strategies and Information in Model Checking for Multi-Agent Systems

Vadim Malvone
10/3/2023
cs.LOcs.MA

No confident code implementation found for this paper. 1 possible match can be shown below.

Abstract

System correctness is one of the most crucial and challenging objectives in software and hardware systems. With the increasing evolution of connected and distributed systems, ensuring their correctness requires the use of formal verification for multi-agent systems. In this paper, we present a summary of certain results on model checking for multi-agent systems that derive from the selection of strategies and information for agents. Additionally, we discuss some open directions for future research.

View on arXivView PDF

Code Implementations

No confident code match yet

We couldn't find an author-owned or strongly-evidenced community implementation for this paper. 1 weaker match is hidden by default — verify before relying on them.

No code implementations found yet.

Know of an implementation? Let us know in the comments below!

Similar Papers

Multi-Agent Verification and Control with Probabilistic Model Checking

85% match2023

Verification of Multi-Agent Properties in Electronic Voting: A Case Study

85% match2023

Scalable Verification of Strategy Logic through Three-valued Abstraction

83% match2023

Practical Abstractions for Model Checking Continuous-Time Multi-Agent Systems

82% match2025

Can Proof Assistants Verify Multi-Agent Systems?

82% match1 repo62025

Exploiting Asymmetry in Logic Puzzles: Using ZDDs for Symbolic Model Checking Dynamic Epistemic Logic

82% match1 repo552023

Cite this paper

@article{malvone2023impact,
  title  = {The Impact of Strategies and Information in Model Checking for Multi-Agent Systems},
  author = {Vadim Malvone},
  year   = {2023},
  eprint = {2310.02342},
  archivePrefix = {arXiv},
  url    = {http://arxiv.org/abs/2310.02342v1}
}

Add a badge to your README

Shows whether official code is linked for this paper.

Code of Paper badge
[![Code of Paper](https://codeofpaper.com/badge/2310.02342.svg)](https://codeofpaper.com/paper/2310.02342)

Discussion