TY  - RPRT
TI  - Verification of Neural Networks: Specifying Global Robustness using Generative Models
AU  - Nathanaël Fijalkow
AU  - Mohit Kumar Gupta
PY  - 2019
UR  - https://arxiv.org/abs/1910.05018
ID  - 1910.05018
ER  -