Christaki, M., Eniser, H. F., Hoffmann, J., Singla, A., & Wüstholz, V. (2023). Specifying and Testing k-Safety Properties for Machine-Learning Models. In Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence (IJCAI-23) (pp. 4748–4757). International Joint Conferences on Artificial Intelligence. https://doi.org/10.24963/ijcai.2023/528 ( reposiTUm)