Model Checking Multi-Agent Systems. INF 29 (2).