TY  - RPRT
TI  - Local Lipschitz Constant Computation of ReLU-FNNs: Upper Bound Computation with Exactness Verification
AU  - Yoshio Ebihara
AU  - Xin Dai
AU  - Victor Magron
AU  - Dimitri Peaucelle
AU  - Sophie Tarbouriech
PY  - 2024
UR  - https://arxiv.org/abs/2310.11104
ID  - 2310.11104
ER  -