@inproceedings{9b7dd817a2af4f4495c8c1e587e80141,
title = "VITAMIN: VerIficaTion of A MultI ageNt system",
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.",
keywords = "Model Checking Tools, Multi-Agent Systems, Strategic Reasoning",
author = "Angelo Ferrando and Vadim Malvone",
note = "Publisher Copyright: {\textcopyright} 2025 International Foundation for Autonomous Agents and Multiagent Systems (www.ifaamas.org).; 24th International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2025 ; Conference date: 19-05-2025 Through 23-05-2025",
year = "2025",
month = jan,
day = "1",
language = "English",
series = "Proceedings of the International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS",
publisher = "International Foundation for Autonomous Agents and Multiagent Systems (IFAAMAS)",
pages = "3023--3025",
editor = "Yevgeniy Vorobeychik and Sanmay Das and Ann Nowe",
booktitle = "Proceedings of the 24th International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2025",
}