Papers

For more informations and details, please check these references:

• SMT-based Safety Checking of Parameterized Multi-Agent Systems. P. Felli, A. Gianola, M. Montali. 35th AAAI Conference on Artificial Intelligence (AAAI 2021), pp. 6321--6330. AAAI Press, 2021.
• A SMT-based Implementation for Safety Checking of Parameterized Multi-Agent Systems. P. Felli, A. Gianola, M. Montali. 23rd International Conference on Principles and Practice of Multi-Agent Systems (PRIMA 2020), pp. 259-280. Volume 12568 of LNCS, Springer, 2021.