25 citations · 35 across the 6 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…