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

Download PDF

Angelo Ferrando, Vadim Malvone

Published: 01 Jan 2024, Last Modified: 28 Aug 2024WOA 2024EveryoneRevisionsBibTeXCC BY-SA 4.0