Wojciech Jamroga, Yan Kim, Damian Kurpiewski. Scalable Verification of Social Explainable AI by Variable Abstraction. 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 1, Rome, Italy, February 24-26, 2024. pages 149-158, SCITEPRESS, 2024. [doi]
Abstract is missing.