The Impact of Strategies and Information in Model Checking for Multi-Agent 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.

arXiv commentIn Proceedings AREA 2023, arXiv:2310.00333

References in corpus (4)

• Model-checking ATL under Imperfect Information and Perfect Recall Semantics is Undecidable
• Towards the Combination of Model Checking and Runtime Verification on Multi-Agent Systems
• Alternating-time temporal logic with finite-memory strategies
• Towards the Verification of Strategic Properties in Multi-Agent Systems with Imperfect Information