P. Kouvaros and A. Lomuscio, “Parameterised Verification of Infinite State Multi-Agent Systems via Predicate Abstraction”, AAAI, vol. 31, no. 1, Feb. 2017.