{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,17]],"date-time":"2026-04-17T21:34:51Z","timestamp":1776461691457,"version":"3.51.2"},"reference-count":36,"publisher":"IEEE","license":[{"start":{"date-parts":[[2024,7,10]],"date-time":"2024-07-10T00:00:00Z","timestamp":1720569600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2024,7,10]],"date-time":"2024-07-10T00:00:00Z","timestamp":1720569600000},"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,7,10]]},"DOI":"10.23919\/acc60939.2024.10645043","type":"proceedings-article","created":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T17:56:19Z","timestamp":1725558979000},"page":"3610-3617","source":"Crossref","is-referenced-by-count":7,"title":["Verification-Aided Learning of Neural Network Barrier Functions with Termination Guarantees"],"prefix":"10.23919","author":[{"given":"Shaoru","family":"Chen","sequence":"first","affiliation":[{"name":"Microsoft Research,New York,NY,USA,10012"}]},{"given":"Lekan","family":"Molu","sequence":"additional","affiliation":[{"name":"Microsoft Research,New York,NY,USA,10012"}]},{"given":"Mahyar","family":"Fazlyab","sequence":"additional","affiliation":[{"name":"Mathematical Institute for Data Science, Johns Hopkins University,USA"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/TRO.2022.3232542"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/LCSYS.2020.3005328"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1145\/3447928.3456646"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.15607\/rss.2021.xvii.063"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1145\/3501710.3519511"},{"key":"ref6","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":"ref7","doi-asserted-by":"publisher","DOI":"10.1145\/1168857.1168907"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/CISS50987.2021.9400289"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-95582-7_25"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1007\/BF01585551"},{"key":"ref11","article-title":"Evaluating robustness of neural networks with mixed integer programming","volume-title":"International Conference on Learning Representations","author":"Tjeng","year":"2018"},{"key":"ref12","first-page":"29909","article-title":"Beta-crown: Efficient bound propagation with per-neuron split constraints for neural network robustness verification","volume":"34","author":"Wang","year":"2021","journal-title":"Advances in Neural Information Processing Systems"},{"key":"ref13","article-title":"Neural lyapunov control","volume":"32","author":"Chang","year":"2019","journal-title":"Advances in neural information processing systems"},{"key":"ref14","article-title":"Neural certificates for safe control policies","volume-title":"CoRR, vol. abs\/2006.08465","author":"Jin","year":"2020"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/CDC42340.2020.9303785"},{"key":"ref16","article-title":"Learning safe multi-agent control with decentralized neural barrier certificates","volume-title":"International Conference on Learning Representations","author":"Qin","year":"2020"},{"key":"ref17","first-page":"1351","article-title":"Learning hybrid control barrier functions from data","volume-title":"Conference on Robot Learning","author":"Lindemann","year":"2021"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/CDC51059.2022.9993006"},{"key":"ref19","first-page":"272","article-title":"Compositional neural certificates for networked dynamical systems","volume-title":"Learning for Dynamics and Control Conference","author":"Zhang","year":"2023"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/TRO.2023.3249564"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1561\/2400000035"},{"key":"ref22","first-page":"1129","article-title":"Automatic perturbation analysis for scalable certified robustness and beyond","volume":"33","author":"Xu","year":"2020","journal-title":"Advances in Neural Information Processing Systems"},{"key":"ref23","first-page":"1656","article-title":"General cutting planes for bound-propagation-based neural network verification","volume":"35","author":"Zhang","year":"2022","journal-title":"Advances in Neural Information Processing Systems"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/CDC42340.2020.9304201"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-72016-2_20"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1007\/s10514-018-9791-9"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1109\/CDC45484.2021.9682880"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-24743-2_32"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2007.902736"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-39799-8_17"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.23919\/ACC60939.2024.10645043"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511804441"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1007\/BF02614507"},{"key":"ref34","first-page":"3884","article-title":"On warm-starting neural network training","volume":"33","author":"Ash","year":"2020","journal-title":"Advances in neural information processing systems"},{"key":"ref35","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":"ref36","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA48891.2023.10160732"}],"event":{"name":"2024 American Control Conference (ACC)","location":"Toronto, ON, Canada","start":{"date-parts":[[2024,7,10]]},"end":{"date-parts":[[2024,7,12]]}},"container-title":["2024 American Control Conference (ACC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/10644130\/10644150\/10645043.pdf?arnumber=10645043","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T04:05:15Z","timestamp":1725768315000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10645043\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,7,10]]},"references-count":36,"URL":"https:\/\/doi.org\/10.23919\/acc60939.2024.10645043","relation":{},"subject":[],"published":{"date-parts":[[2024,7,10]]}}}