TY - RPRT TI - Formal Guarantees on the Robustness of a Classifier against Adversarial Manipulation AU - Matthias Hein AU - Maksym Andriushchenko PY - 2017 UR - https://arxiv.org/abs/1705.08475 ID - 1705.08475 ER -