{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,17]],"date-time":"2026-04-17T21:34:50Z","timestamp":1776461690319,"version":"3.51.2"},"reference-count":30,"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.10591251","type":"proceedings-article","created":{"date-parts":[[2024,7,24]],"date-time":"2024-07-24T17:48:23Z","timestamp":1721843303000},"page":"571-578","source":"Crossref","is-referenced-by-count":9,"title":["Simultaneous Synthesis and Verification of Neural Control Barrier Functions Through Branch-and-Bound Verification-in-the-Loop Training"],"prefix":"10.23919","author":[{"given":"Xinyu","family":"Wang","sequence":"first","affiliation":[{"name":"Delft University of Technology,Cognitive Robotics Department,Delft,Netherlands,2628CD"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Luzia","family":"Knoedler","sequence":"additional","affiliation":[{"name":"Delft University of Technology,Cognitive Robotics Department,Delft,Netherlands,2628CD"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Frederik Baymler","family":"Mathiesen","sequence":"additional","affiliation":[{"name":"Delft Center for Systems and Control, Delft University of Technology,Delft,Netherlands,2628CD"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Javier","family":"Alonso-Mora","sequence":"additional","affiliation":[{"name":"Delft University of Technology,Cognitive Robotics Department,Delft,Netherlands,2628CD"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/TRO.2022.3232542"},{"key":"ref2","first-page":"1724","article-title":"Safe nonlinear control using robust neural lyapunov-barrier functions","volume-title":"Conference on Robot Learning","author":"Dawson","year":"2022"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/CDC51059.2022.9993334"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/CDC45484.2021.9683085"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-72016-2_20"},{"key":"ref6","article-title":"Neural lyapunov control","volume-title":"Advances in Neural Information Processing Systems","volume":"32","author":"Chang","year":"2019"},{"key":"ref7","article-title":"Efficient neural network robustness certification with general activation functions","volume":"31","author":"Zhang","year":"2018","journal-title":"Advances in neural information processing systems"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/LCSYS.2022.3229865"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2016.7798370"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/CCTA.2017.8062713"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2016.2638961"},{"key":"ref12","article-title":"Some Applications of Polynomial Optimization in Operations Research and Real-Time Decision Making","author":"Ahmadi","year":"2015","journal-title":"arXiv e-prints"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1016\/j.sysconle.2021.104895"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/IROS45743.2020.9341190"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA48891.2023.10160991"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/LRA.2023.3238656"},{"key":"ref17","first-page":"1341","article-title":"Learning stability certificates from data","volume-title":"Conference on Robot Learning","author":"Boffi","year":"2021"},{"key":"ref18","first-page":"5276","article-title":"Towards fast computation of certified robustness for relu networks","volume-title":"International Conference on Machine Learning","author":"Weng","year":"2018"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.23919\/ECC.2019.8796030"},{"key":"ref20","first-page":"1970","article-title":"Safe control under input limits with neural control barrier functions","volume-title":"Conference on Robot Learning","author":"Liu","year":"2023"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA.2019.8794107"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-85450-8"},{"key":"ref23","first-page":"2350","article-title":"Efficiently computing local lipschitz constants of neural networks via bound propagation","volume":"35","author":"Shi","year":"2022","journal-title":"Advances in Neural Information Processing Systems"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1145\/3498718"},{"key":"ref25","article-title":"Automatically bounding the taylor remainder series: Tighter bounds and new applications","author":"Streeter","year":"2022","journal-title":"arXiv preprint"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-023-00703-4"},{"key":"ref27","doi-asserted-by":"crossref","first-page":"270","DOI":"10.1007\/978-3-319-96145-3_15","article-title":"Counterexample guided inductive synthesis modulo theories","volume-title":"International Conference on Computer Aided Verification","author":"Abate","year":"2018"},{"issue":"5","key":"ref28","article-title":"Multilayer feedforward networks are universal approximators","author":"Hornik","year":"1989","journal-title":"Neural networks"},{"key":"ref29","article-title":"A toolbox of level set methods","volume-title":"UBC Department of Computer Science Technical Report TR-2007\u201311, 2007","author":"Mitchell"},{"key":"ref30","article-title":"Proximal policy optimization algorithms","author":"Schulman","year":"2017","journal-title":"arXiv preprint"}],"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\/10591251.pdf?arnumber=10591251","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,7,25]],"date-time":"2024-07-25T06:33:02Z","timestamp":1721889182000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10591251\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,6,25]]},"references-count":30,"URL":"https:\/\/doi.org\/10.23919\/ecc64448.2024.10591251","relation":{},"subject":[],"published":{"date-parts":[[2024,6,25]]}}}