TY  - RPRT
TI  - Vertex-based reachability analysis for verifying ReLU deep neural networks
AU  - João Zago
AU  - Eduardo Camponogara
AU  - Eric Antonelo
PY  - 2023
UR  - https://arxiv.org/abs/2301.12001
ID  - 2301.12001
ER  -