@misc{indiciaeab08f2215236,
  title = {Local Lipschitz Constant Computation of ReLU-FNNs: Upper Bound Computation with Exactness Verification},
  author = {Yoshio Ebihara and Xin Dai and Victor Magron and Dimitri Peaucelle and Sophie Tarbouriech},
  year = {2024},
  url = {https://arxiv.org/abs/2310.11104},
  note = {Source identifier: 2310.11104}
}