Hands-on VITAMIN: A Compositional Tool for Model Checking of Multi-Agent Systems
Contributo in Atti di convegno
Data di Pubblicazione:
2024
Citazione:
Hands-on VITAMIN: A Compositional Tool for Model Checking of Multi-Agent Systems / Ferrando, Angelo; Malvone, Vadim. - 3735:(2024), pp. 148-160. ( 25th Workshop "From Objects to Agents", WOA 2024 Bard, ita 08-10/07/2024).
Tipologia CRIS:
Relazione in Atti di Convegno
Keywords:
Model Checking; Multi-Agent Systems; Verification Tools;
Elenco autori:
Ferrando, Angelo; Malvone, Vadim
Link alla scheda completa:
Titolo del libro:
Proceedings of the 25th Workshop "From Objects to Agents", WOA 2024
Pubblicato in: