Parameterised Model Checking for Alternating-Time Temporal Logic.

Panagiotis Kouvaros, Alessio Lomuscio

Browse the full ECAI paper archive.