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.
| Original language | English |
|---|---|
| Pages (from-to) | 63-70 |
| Number of pages | 8 |
| Journal | Electronic Proceedings in Theoretical Computer Science, EPTCS |
| Volume | 391 |
| DOIs | |
| Publication status | Published - 30 Sept 2023 |
| Event | 3rd Workshop on Agents and Robots for Reliable Engineered Autonomy, AREA 2023 - Krakow, Poland Duration: 1 Oct 2023 → … |