TY  - RPRT
TI  - Generate and Verify: Semantically Meaningful Formal Analysis of Neural Network Perception Systems
AU  - Chris R. Serrano
AU  - Pape M. Sylla
AU  - Michael A. Warren
PY  - 2020
UR  - https://arxiv.org/abs/2012.09313
ID  - 2012.09313
ER  -