Gabriel Ballot. Capacity ATL: Reasoning About Agent Profiles and Applications to Cybersecurity. In Vadim Malvone, Aniello Murano, editors, Multi-Agent Systems - 20th European Conference, EUMAS 2023, Naples, Italy, September 14-15, 2023, Proceedings. Volume 14282 of Lecture Notes in Computer Science, pages 472-478, Springer, 2023. [doi]
Abstract is missing.