TY  - RPRT
TI  - Specifying and Testing $k$-Safety Properties for Machine-Learning Models
AU  - Maria Christakis
AU  - Hasan Ferit Eniser
AU  - Jörg Hoffmann
AU  - Adish Singla
AU  - Valentin Wüstholz
PY  - 2022
UR  - https://arxiv.org/abs/2206.06054
ID  - 2206.06054
ER  -