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