TY  - RPRT
TI  - DISCO Verification: Division of Input Space into COnvex polytopes for neural network verification
AU  - Julien Girard-Satabin
AU  - Aymeric Varasse
AU  - Marc Schoenauer
AU  - Guillaume Charpiat
AU  - Zakaria Chihani
PY  - 2021
UR  - https://arxiv.org/abs/2105.07776
ID  - 2105.07776
ER  -