Bourahla, M. B.; Benmohamed, M. Model Checking Multi-Agent Systems. IJCAI 29.