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

TL;DR

This paper reviews how strategies and information influence model checking in multi-agent systems, highlighting current results and future research directions for ensuring system correctness.

Contribution

It provides a summary of key results on strategy and information-based model checking in multi-agent systems and discusses open research challenges.

Findings

Strategies significantly affect model checking outcomes

Information availability impacts verification complexity

Open research directions identified for future work

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.