- Conférence AAAI Conference on Artificial Intelligence – AAAI [ERA A][Qualis A1]
Belardinelli, Francesco, Alessio Lomuscio, et Vadim Malvone. « An Abstraction-Based Method for Verifying Strategic Properties in Multi-Agent Systems with Imperfect Information ». In 33rd AAAI Conference on Artificial Intelligence (AAAI 2019), 6030–6037, Hawai, United States, janvier 2019. [ HAL IBISC ]
« fort impact » signifie ici: « Publications en des revues classées dans le top 10% de CiteScoreMetrics, publications en conférences classées A selon l’indicateur ERA et/ou classées A1/A2 selon l’indicateur QUALIS (http://www.conferenceranks.com/) ou brevets »
