{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,5]],"date-time":"2026-04-05T05:07:05Z","timestamp":1775365625143,"version":"3.50.1"},"reference-count":26,"publisher":"IEEE","license":[{"start":{"date-parts":[[2024,6,25]],"date-time":"2024-06-25T00:00:00Z","timestamp":1719273600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2024,6,25]],"date-time":"2024-06-25T00:00:00Z","timestamp":1719273600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2024,6,25]]},"DOI":"10.23919\/ecc64448.2024.10590974","type":"proceedings-article","created":{"date-parts":[[2024,7,24]],"date-time":"2024-07-24T17:48:23Z","timestamp":1721843303000},"page":"2506-2511","source":"Crossref","is-referenced-by-count":6,"title":["Local Lipschitz Constant Computation of ReLU-FNNs: Upper Bound Computation with Exactness Verification"],"prefix":"10.23919","author":[{"given":"Yoshio","family":"Ebihara","sequence":"first","affiliation":[{"name":"Graduate School of Information Science and Electrical Engineering, Kyushu University,Fukuoka,Japan,819-0395"}]},{"given":"Xin","family":"Dai","sequence":"additional","affiliation":[{"name":"Graduate School of Information Science and Electrical Engineering, Kyushu University,Fukuoka,Japan,819-0395"}]},{"given":"Tsuyoshi","family":"Yuno","sequence":"additional","affiliation":[{"name":"Graduate School of Information Science and Electrical Engineering, Kyushu University,Fukuoka,Japan,819-0395"}]},{"given":"Victor","family":"Magron","sequence":"additional","affiliation":[{"name":"Graduate School of Information Science and Electrical Engineering, Kyushu University,Fukuoka,Japan,819-0395"}]},{"given":"Dimitri","family":"Peaucelle","sequence":"additional","affiliation":[{"name":"Graduate School of Information Science and Electrical Engineering, Kyushu University,Fukuoka,Japan,819-0395"}]},{"given":"Sophie","family":"Tarbouriech","sequence":"additional","affiliation":[{"name":"Graduate School of Information Science and Electrical Engineering, Kyushu University,Fukuoka,Japan,819-0395"}]}],"member":"263","reference":[{"key":"ref1","first-page":"10900","article-title":"Semidefinite relaxations for certifying robustness to adversarial examples","author":"Raghunathan","year":"2018","journal-title":"Advances in Neural Information Processing Systems"},{"key":"ref2","article-title":"Certified defenses against adversarial examples","volume-title":"Proc. the International Conference on Learning Representations","author":"Raghunathan","year":"2018"},{"key":"ref3","first-page":"11427","article-title":"Efficient and accurate estimation of Lipschitz constants for deep neural networks","volume-title":"Proc. the 33rd International Conference on Neural Information Processing Systems","author":"Fazlyab"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2020.3046193"},{"key":"ref5","first-page":"19189","article-title":"Semialgebraic optimization for Lipschitz constants of ReLU networks","volume":"33","author":"Chen","year":"2020","journal-title":"Advances in Neural Information Processing Systems"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2021.3069388"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/MCS.2022.3157117"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/LCSYS.2020.3038221"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1016\/j.ejcon.2021.06.022"},{"key":"ref10","article-title":"Robust physical-world attacks on deep learning models","author":"Eykholt","journal-title":"arxiv:1707.08945 [cs.CR]"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-12598-0_1"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.1967.1098725"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1137\/0306007"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1016\/j.ejcon.2015.10.003"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1016\/j.ifacol.2017.08.757"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/CDC40024.2019.9029638"},{"key":"ref17","article-title":"Efficient and accurate estimation of Lipschitz constants for deep neural networks","author":"Fazlyab","journal-title":"arxiv:1906.04893v2 [cs.LG]"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/9.587335"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1016\/j.ifacol.2022.11.044"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/CDC45484.2021.9683530"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1137\/S0895479803430953"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1016\/j.sysconle.2009.04.002"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2009.2017086"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.3166\/ejc.12.3-29"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1007\/b105286"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1109\/CACSD.2004.1393890"}],"event":{"name":"2024 European Control Conference (ECC)","location":"Stockholm, Sweden","start":{"date-parts":[[2024,6,25]]},"end":{"date-parts":[[2024,6,28]]}},"container-title":["2024 European Control Conference (ECC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/10590709\/10590710\/10590974.pdf?arnumber=10590974","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,7,25]],"date-time":"2024-07-25T06:19:04Z","timestamp":1721888344000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10590974\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,6,25]]},"references-count":26,"URL":"https:\/\/doi.org\/10.23919\/ecc64448.2024.10590974","relation":{},"subject":[],"published":{"date-parts":[[2024,6,25]]}}}