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), pp. 6321-6330. doi: 10.1609/aaai.v35i7.16785.