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

Alessio Lomuscio, Hongyang Qu, Franco Raimondi (2009)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics