mcmas : a model checker for the verification of multi - agent systems .
Alternating-time temporal logic