Specifying and Testing k-Safety Properties for Machine-Learning Models.

Maria Christakis, Hasan Ferit Eniser, Jrg Hoffmann, Adish Singla, Valentin Wstholz

Browse the full IJCAI paper archive.