TY  - RPRT
TI  - NeVer 2.0: Learning, Verification and Repair of Deep Neural Networks
AU  - Dario Guidotti
AU  - Luca Pulina
AU  - Armando Tacchella
PY  - 2020
UR  - https://arxiv.org/abs/2011.09933
ID  - 2011.09933
ER  -