MCMAS: A Model Checker for the Verification of Multi-Agent Systems.

Alessio Lomuscio, Hongyang Qu, Franco Raimondi

Browse the full CAV paper archive.