MCMAS: A Model Checker for Multi-agent Systems.

Alessio Lomuscio, Franco Raimondi

Browse the full TACAS paper archive.