Felli, P.; Gianola, A.; Montali, M. SMT-Based Safety Checking of Parameterized Multi-Agent Systems. AAAI 2021, 35, 6321-6330.