Model Checking GSM-Based Multi-Agent Systems.

Pavel Gonzalez, Andreas Griesmayer, Alessio Lomuscio

Browse the full ICSOC paper archive.