The Impact of Strategies and Information in Model Checking for Multi-Agent Systems
Logic in Computer Science
2023-10-05 v1 Multiagent Systems
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.
Cite
@article{arxiv.2310.02342,
title = {The Impact of Strategies and Information in Model Checking for Multi-Agent Systems},
author = {Vadim Malvone},
journal= {arXiv preprint arXiv:2310.02342},
year = {2023}
}
Comments
In Proceedings AREA 2023, arXiv:2310.00333