- document
- den Hollander, R.J.M. (author), Adhikari, A. (author), Tolios, I. (author), van Bekkum, M. (author), Bal, A. (author), Hendriks, S. (author), Kruithof, M.C. (author), Gross, D. (author), Jansen, N. (author), Perez, G. (author), Buurman, K. (author), Raaijmakers, S.A. (author) conference paper 2020
- document
-
Gross, D. (author), Jansen, N. (author), Perez, G.A. (author), Raaijmakers, S. (author)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 attacks and a distribution over this set. The robustness-checking problem consists of assessing, given a set of classifiers and a labelled data set, whether there exists...conference paper 2020