{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,13]],"date-time":"2026-01-13T14:05:47Z","timestamp":1768313147762,"version":"3.49.0"},"reference-count":42,"publisher":"IEEE","license":[{"start":{"date-parts":[[2025,12,9]],"date-time":"2025-12-09T00:00:00Z","timestamp":1765238400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2025,12,9]],"date-time":"2025-12-09T00:00:00Z","timestamp":1765238400000},"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":[[2025,12,9]]},"DOI":"10.1109\/cdc57313.2025.11312208","type":"proceedings-article","created":{"date-parts":[[2026,1,12]],"date-time":"2026-01-12T18:19:56Z","timestamp":1768241996000},"page":"7024-7029","source":"Crossref","is-referenced-by-count":0,"title":["Learning Verifiable Control Policies Using Relaxed Verification"],"prefix":"10.1109","author":[{"given":"Puja","family":"Chaudhury","sequence":"first","affiliation":[{"name":"Northeastern University,Boston,MA,USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alexander","family":"Estornell","sequence":"additional","affiliation":[{"name":"Northeastern University,Boston,MA,USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Michael","family":"Everett","sequence":"additional","affiliation":[{"name":"Northeastern University,Boston,MA,USA"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref1","article-title":"Efficient neural network robustness certification with general activation functions","author":"Zhang","year":"2018","journal-title":"Advances in Neural Information Processing Systems (NeurIPS)"},{"key":"ref2","first-page":"5276","article-title":"Towards fast computation of certified robustness for relu networks","volume-title":"International Conference on Machine Learning (ICML)","author":"Weng"},{"key":"ref3","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 (NeurIPS)"},{"key":"ref4","article-title":"Semidefinite relaxations for certifying robustness to adversarial examples","volume":"31","author":"Raghunathan","year":"2018","journal-title":"Advances in Neural Information Processing Systems (NeurIPS)"},{"key":"ref5","article-title":"Evaluating robustness of neural networks with mixed integer programming","volume-title":"International Conference on Learning Representations (ICLR)","author":"Tjeng"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-25540-4_26"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-63387-9_5"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-88806-0_10"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA48506.2021.9561956"},{"issue":"117","key":"ref10","first-page":"1","article-title":"Overt: An algorithm for safety verification of neural network control policies for nonlinear systems","volume":"23","author":"Sidrane","year":"2022","journal-title":"Journal of Machine Learning Research"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA48891.2023.10160643"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2021.3133370"},{"key":"ref13","article-title":"A reachability method for verifying dynamical systems with deep neural network controllers","author":"Julian","year":"2019"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/CDC42340.2020.9304296"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2023.3331215"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1145\/3302504.3311806"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1145\/3302504.3311807"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1145\/3358228"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-59152-6_30"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/TNNLS.2020.2991090"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-06773-0_15"},{"key":"ref22","article-title":"Beta-crown: Efficient bound propagation with per-neuron split constraints for complete and incomplete neural network verification","author":"Wang","year":"2021"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/CDC51059.2022.9992655"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/ICCV.2019.00494"},{"key":"ref25","article-title":"Neural Lyapunov control","volume":"32","author":"Chang","year":"2019","journal-title":"Advances in Neural Information Processing Systems (NeurIPS)"},{"key":"ref26","first-page":"1519","article-title":"Learning certified control using contraction metric","volume-title":"Conference on Robot Learning","author":"Sun"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1109\/LRA.2020.3011351"},{"key":"ref28","article-title":"Learning safe multi-agent control with decentralized neural barrier certificates","volume-title":"International Conference on Learning Representations (ICLR)","author":"Qin"},{"key":"ref29","doi-asserted-by":"crossref","DOI":"10.15607\/RSS.2021.XVII.063","article-title":"Lyapunovstable neural-network control","volume-title":"Robotics: Science and Systems, Virtual","author":"Dai","year":"2021"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1109\/tro.2022.3232542"},{"key":"ref31","article-title":"Learning-based verification of stochastic dynamical systems with neural network policies","author":"Badings","year":"2024"},{"key":"ref32","article-title":"Lyapunov-stable neural control for state and output feedback: A novel formulation","author":"Yang","year":"2024"},{"key":"ref33","article-title":"Verification in the loop: Correct-by-construction control learning with reach-avoid guarantees","author":"Wang","year":"2021"},{"key":"ref34","first-page":"132","article-title":"Joint differentiable optimization and verification for certified reinforcement learning","volume-title":"Proceedings of the 2023 ACM\/IEEE 14th International Conference on Cyber-Physical Systems (ICCPS)","author":"Wang"},{"key":"ref35","article-title":"Verified safe reinforcement learning for neural network dynamic models","author":"Wu","year":"2024"},{"key":"ref36","volume-title":"jax verify","author":"Bunel","year":"2023"},{"key":"ref37","volume-title":"auto LiRPA","author":"Shi","year":"2025"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.23919\/acc63710.2025.11107810"},{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1109\/LCSYS.2024.3518912"},{"key":"ref40","article-title":"Adam: A method for stochastic optimization","author":"Kingma","year":"2014"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2020.3046193"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.1109\/OJCSYS.2023.3265901"}],"event":{"name":"2025 IEEE 64th Conference on Decision and Control (CDC)","location":"Rio de Janeiro, Brazil","start":{"date-parts":[[2025,12,9]]},"end":{"date-parts":[[2025,12,12]]}},"container-title":["2025 IEEE 64th Conference on Decision and Control (CDC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/11311984\/11311968\/11312208.pdf?arnumber=11312208","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,1,13]],"date-time":"2026-01-13T08:36:01Z","timestamp":1768293361000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/11312208\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,12,9]]},"references-count":42,"URL":"https:\/\/doi.org\/10.1109\/cdc57313.2025.11312208","relation":{},"subject":[],"published":{"date-parts":[[2025,12,9]]}}}