1.
Felli P, Gianola A, Montali M. SMT-based Safety Checking of Parameterized Multi-Agent Systems. AAAI [Internet]. 2021May18 [cited 2021Oct.27];35(7):6321-30. Available from: https://ojs.aaai.org/index.php/AAAI/article/view/16785