TY  - RPRT
TI  - Using Z3 for Formal Modeling and Verification of FNN Global Robustness
AU  - Yihao Zhang
AU  - Zeming Wei
AU  - Xiyue Zhang
AU  - Meng Sun
PY  - 2023
UR  - https://arxiv.org/abs/2304.10558
ID  - 2304.10558
ER  -