Kouvaros, P.; Lomuscio, A. Parameterised Verification of Infinite State Multi-Agent Systems via Predicate Abstraction. AAAI 2017, 31.