Data di Pubblicazione:
2025
Citazione:
VITAMIN: VerIficaTion of A MultI ageNt system / Ferrando, Angelo; Malvone, Vadim. - (2025), pp. 3023-3025. ( 24th International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2025 Detroit, MI, USA 19-23/05/2025).
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.
Tipologia CRIS:
Abstract in Atti di Convegno
Keywords:
model checking tools, multi-agent systems, strategic reasoning
Elenco autori:
Ferrando, Angelo; Malvone, Vadim
Link alla scheda completa:
Titolo del libro:
Proceedings of the 24th International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2025