. Model Checking Multi-Agent Systems. Informatica. 29, 2 ().