3 citations · 13 across the 17 of their papers we have counts for
1 paper · 1 filter
Klas Leino, Aymeric Fromherz, Ravi Mangal +3
Classifiers learnt from data are increasingly being used as components in systems where safety is a critical concern. In this work, we present a formal notion of safety for classif…