VITAMIN: A Compositional Framework for Model Checking of Multi-Agent Systems.

Angelo Ferrando, Vadim Malvone

Browse the full ICAART paper archive.