7 citations · 7 across the 3 of their papers we have counts for
1 paper · 1 filter
Dennis Gross, Nils Jansen, Guillermo A. Pérez +1
We give a formal verification procedure that decides whether a classifier ensemble is robust against arbitrary randomized attacks. Such attacks consist of a set of deterministic at…