Davide Catta, Jean Leneutre, Antonina Mijatovic, Johanna Ulin, Vadim Malvone. A Formal Verification Approach to Handle Attack Graphs. In Ana Paula Rocha 0001, Luc Steels, H. Jaap van den Herik, editors, Proceedings of the 16th International Conference on Agents and Artificial Intelligence, ICAART 2024, Volume 3, Rome, Italy, February 24-26, 2024. pages 125-132, SCITEPRESS, 2024. [doi]
Abstract is missing.