Abstract
Verifying software and hardware systems presents considerable challenges due to their inherent complexity, often making thorough verification impractical. The transition from monolithic architectures to Multi-Agent Systems (MAS) exacerbates these issues, demanding more sophisticated verification tools. Existing solutions, such as MCMAS and STV, fall short in terms of modularity, flexibility, and usability. This paper highlights these limitations and suggests future directions for the development of verification tools for MAS. Then, it discusses VITAMIN (VerIficaTion of A MultI-ageNt system), a formal verification framework aimed at addressing these shortcomings by supporting diverse logics and model formalisms while also focusing on ease of use.
| Original language | English |
|---|---|
| Pages (from-to) | 249-256 |
| Number of pages | 8 |
| Journal | CEUR Workshop Proceedings |
| Volume | 3883 |
| Publication status | Published - 1 Jan 2024 |
| Event | 1st International Workshop on Artificial Intelligence for Climate Change, 12th Italian Workshop on Planning and Scheduling, 31st RCRA Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion, and SPIRIT Workshop on Strategies, Prediction, Interaction, and Reasoning in Italy, AI4CC-IPS-RCRA-SPIRIT 2024 - Bolzano, Italy Duration: 26 Nov 2024 → 28 Nov 2024 |
Keywords
- Model Checking
- Multi-Agent Systems
- Verification Tools
Fingerprint
Dive into the research topics of 'Towards a Compositional and User-friendly tool for Multi-Agent Systems Verification'. Together they form a unique fingerprint.Cite this
- APA
- Author
- BIBTEX
- Harvard
- Standard
- RIS
- Vancouver