Résumé
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.
| langue originale | Anglais |
|---|---|
| Pages (de - à) | 249-256 |
| Nombre de pages | 8 |
| journal | CEUR Workshop Proceedings |
| Volume | 3883 |
| état | Publié - 1 janv. 2024 |
| Evénement | 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, Italie Durée: 26 nov. 2024 → 28 nov. 2024 |
Empreinte digitale
Examiner les sujets de recherche de « Towards a Compositional and User-friendly tool for Multi-Agent Systems Verification ». Ensemble, ils forment une empreinte digitale unique.Contient cette citation
- APA
- Author
- BIBTEX
- Harvard
- Standard
- RIS
- Vancouver