P. Felli, A. Gianola, and M. Montali, “SMT-based Safety Checking of Parameterized Multi-Agent Systems”, AAAI, vol. 35, no. 7, pp. 6321–6330, May 2021.