@misc{indiciae6ddb4642989b,
  title = {Specifying and Testing \$k\$-Safety Properties for Machine-Learning Models},
  author = {Maria Christakis and Hasan Ferit Eniser and Jörg Hoffmann and Adish Singla and Valentin Wüstholz},
  year = {2022},
  url = {https://arxiv.org/abs/2206.06054},
  note = {Source identifier: 2206.06054}
}