Felli, P. et al. 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.