Specifying and Testing K-Safety Properties for Machine-Learning Models

Christakis et al. "Specifying and Testing K-Safety Properties for Machine-Learning Models." International Joint Conference on Artificial Intelligence, 2023. doi:10.24963/IJCAI.2023/528

[Christakis et al. "Specifying and Testing K-Safety Properties for Machine-Learning Models." International Joint Conference on Artificial Intelligence, 2023.](https://mlanthology.org/ijcai/2023/christakis2023ijcai-specifying/) doi:10.24963/IJCAI.2023/528

@inproceedings{christakis2023ijcai-specifying,
  title     = {{Specifying and Testing K-Safety Properties for Machine-Learning Models}},
  author    = {Christakis, Maria and Eniser, Hasan Ferit and Hoffmann, Jörg and Singla, Adish and Wüstholz, Valentin},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {2023},
  pages     = {4748-4757},
  doi       = {10.24963/IJCAI.2023/528},
  url       = {https://mlanthology.org/ijcai/2023/christakis2023ijcai-specifying/}
}