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