Volume: Vol-3735 WOA 2024 | Year: 2024

Paper: « paper_11 | paper_12 | paper_13 »

Hands-on VITAMIN: A Compositional Tool for Model Checking of Multi-Agent Systems

• Angelo Ferrando 0001 ORCID dblp
• Vadim Malvone ORCID dblp

157-169 PDF