Felli, P., Gianola, A. and Montali, M. 2021. SMT-based Safety Checking of Parameterized Multi-Agent Systems. Proceedings of the AAAI Conference on Artificial Intelligence. 35, 7 (May 2021), 6321-6330. DOI:https://doi.org/10.1609/aaai.v35i7.16785.