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]
@inproceedings{EbiharaDYMPT24,
title = {Local Lipschitz Constant Computation of ReLU-FNNs: Upper Bound Computation with Exactness Verification},
author = {Yoshio Ebihara and Xin Dai and Tsuyoshi Yuno and Victor Magron and Dimitri Peaucelle and Sophie Tarbouriech},
year = {2024},
doi = {10.23919/ECC64448.2024.10590974},
url = {https://doi.org/10.23919/ECC64448.2024.10590974},
researchr = {https://researchr.org/publication/EbiharaDYMPT24},
cites = {0},
citedby = {0},
pages = {2506-2511},
booktitle = {European Control Conference, ECC 2024, Stockholm, Sweden, June 25-28, 2024},
publisher = {IEEE},
isbn = {978-3-9071-4410-7},
}