Yoshio Ebihara, Xin Dai, Tsuyoshi Yuno, Victor Magron, Dimitri Peaucelle, Sophie Tarbouriech. Local Lipschitz Constant Computation of ReLU-FNNs: Upper Bound Computation with Exactness Verification. In European Control Conference, ECC 2024, Stockholm, Sweden, June 25-28, 2024. pages 2506-2511, IEEE, 2024. [doi]
Abstract is missing.