Abstract
We present VITAMIN, a modular and user-friendly framework for formal verification of Multi-Agent Systems (MAS). VITAMIN provides extensible support for diverse logics and models, making it suitable for experts and non-experts. This demonstration highlights VITAMIN's capabilities emphasising its usability and compositional design.
| Original language | English |
|---|---|
| Title of host publication | Proceedings of the 24th International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2025 |
| Editors | Yevgeniy Vorobeychik, Sanmay Das, Ann Nowe |
| Publisher | International Foundation for Autonomous Agents and Multiagent Systems (IFAAMAS) |
| Pages | 3023-3025 |
| Number of pages | 3 |
| ISBN (Electronic) | 9798400714269 |
| Publication status | Published - 1 Jan 2025 |
| Event | 24th International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2025 - Detroit, United States Duration: 19 May 2025 → 23 May 2025 |
Publication series
| Name | Proceedings of the International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS |
|---|---|
| ISSN (Print) | 1548-8403 |
| ISSN (Electronic) | 1558-2914 |
Conference
| Conference | 24th International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2025 |
|---|---|
| Country/Territory | United States |
| City | Detroit |
| Period | 19/05/25 → 23/05/25 |
Keywords
- Model Checking Tools
- Multi-Agent Systems
- Strategic Reasoning