{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,9,28]],"date-time":"2026-09-28T17:30:20Z","timestamp":1790616620085,"version":"4.1.0"},"publisher-location":"New York, NY, USA","reference-count":56,"publisher":"ACM","license":[{"start":{"date-parts":[[2023,5,9]],"date-time":"2023-05-09T00:00:00Z","timestamp":1683590400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/100000001","name":"National Science Foundation","doi-asserted-by":"publisher","award":["1834701"],"award-info":[{"award-number":["1834701"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100000001","name":"National Science Foundation","doi-asserted-by":"publisher","award":["1724341"],"award-info":[{"award-number":["1724341"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100000001","name":"National Science Foundation","doi-asserted-by":"publisher","award":["2038853"],"award-info":[{"award-number":["2038853"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100000006","name":"Office of Naval Research","doi-asserted-by":"publisher","award":["N00014-19-1-2496"],"award-info":[{"award-number":["N00014-19-1-2496"]}],"id":[{"id":"10.13039\/100000006","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2023,5,9]]},"DOI":"10.1145\/3576841.3585919","type":"proceedings-article","created":{"date-parts":[[2023,5,4]],"date-time":"2023-05-04T16:18:19Z","timestamp":1683217099000},"page":"132-141","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":16,"title":["Joint Differentiable Optimization and Verification for Certified Reinforcement Learning"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-0847-8570","authenticated-orcid":false,"given":"Yixuan","family":"Wang","sequence":"first","affiliation":[{"name":"Northwestern University, Evanston, IL, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-5750-3296","authenticated-orcid":false,"given":"Simon","family":"Zhan","sequence":"additional","affiliation":[{"name":"UC Berkeley, Berkeley, CA, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-6645-262X","authenticated-orcid":false,"given":"Zhilu","family":"Wang","sequence":"additional","affiliation":[{"name":"Northwestern University, Evanston, IL, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-9300-1787","authenticated-orcid":false,"given":"Chao","family":"Huang","sequence":"additional","affiliation":[{"name":"University of Liverpool, Liverpool, United Kingdom"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-1824-2580","authenticated-orcid":false,"given":"Zhaoran","family":"Wang","sequence":"additional","affiliation":[{"name":"Northwestern University, Evanston, IL, United States of America"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-5269-9958","authenticated-orcid":false,"given":"Zhuoran","family":"Yang","sequence":"additional","affiliation":[{"name":"Yale University, New Haven, CT, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-7700-4099","authenticated-orcid":false,"given":"Qi","family":"Zhu","sequence":"additional","affiliation":[{"name":"Northwestern University, Evanston, IL, United States of America"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2023,5,9]]},"reference":[{"key":"e_1_3_2_1_1_1","first-page":"9562","article-title":"Differentiable Convex Optimization Layers","volume":"32","author":"Agrawal Akshay","year":"2019","unstructured":"Akshay Agrawal , Brandon Amos , Shane Barratt , Stephen Boyd , Steven Diamond , and J Zico Kolter . 2019 . Differentiable Convex Optimization Layers . Advances in Neural Information Processing Systems 32 (2019), 9562 -- 9574 . Akshay Agrawal, Brandon Amos, Shane Barratt, Stephen Boyd, Steven Diamond, and J Zico Kolter. 2019. Differentiable Convex Optimization Layers. Advances in Neural Information Processing Systems 32 (2019), 9562--9574.","journal-title":"Advances in Neural Information Processing Systems"},{"key":"e_1_3_2_1_2_1","volume-title":"Automatic repair of convex optimization problems. Optimization and Engineering 22, 1","author":"Barratt Shane","year":"2021","unstructured":"Shane Barratt , Guillermo Angeris , and Stephen Boyd . 2021. Automatic repair of convex optimization problems. Optimization and Engineering 22, 1 ( 2021 ). Shane Barratt, Guillermo Angeris, and Stephen Boyd. 2021. Automatic repair of convex optimization problems. Optimization and Engineering 22, 1 (2021)."},{"key":"e_1_3_2_1_3_1","volume-title":"Safe model-based reinforcement learning with stability guarantees. Advances in neural information processing systems 30","author":"Berkenkamp Felix","year":"2017","unstructured":"Felix Berkenkamp , Matteo Turchetta , Angela Schoellig , and Andreas Krause . 2017. Safe model-based reinforcement learning with stability guarantees. Advances in neural information processing systems 30 ( 2017 ). Felix Berkenkamp, Matteo Turchetta, Angela Schoellig, and Andreas Krause. 2017. Safe model-based reinforcement learning with stability guarantees. Advances in neural information processing systems 30 (2017)."},{"key":"e_1_3_2_1_4_1","volume-title":"Openai gym. arXiv preprint arXiv:1606.01540","author":"Brockman Greg","year":"2016","unstructured":"Greg Brockman , Vicki Cheung , Ludwig Pettersson , Jonas Schneider , John Schulman , Jie Tang , and Wojciech Zaremba . 2016. Openai gym. arXiv preprint arXiv:1606.01540 ( 2016 ). Greg Brockman, Vicki Cheung, Ludwig Pettersson, Jonas Schneider, John Schulman, Jie Tang, and Wojciech Zaremba. 2016. Openai gym. arXiv preprint arXiv:1606.01540 (2016)."},{"key":"e_1_3_2_1_5_1","volume-title":"Neural lyapunov control. Advances in neural information processing systems 32","author":"Chang Ya-Chien","year":"2019","unstructured":"Ya-Chien Chang , Nima Roohi , and Sicun Gao . 2019. Neural lyapunov control. Advances in neural information processing systems 32 ( 2019 ). Ya-Chien Chang, Nima Roohi, and Sicun Gao. 2019. Neural lyapunov control. Advances in neural information processing systems 32 (2019)."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1109\/CoASE.2014.6899436"},{"key":"e_1_3_2_1_7_1","volume-title":"Learning lyapunov functions for piecewise affine systems with neural network controllers. arXiv preprint arXiv:2008.06546","author":"Chen Shaoru","year":"2020","unstructured":"Shaoru Chen , Mahyar Fazlyab , Manfred Morari , George J Pappas , and Victor M Preciado . 2020. Learning lyapunov functions for piecewise affine systems with neural network controllers. arXiv preprint arXiv:2008.06546 ( 2020 ). Shaoru Chen, Mahyar Fazlyab, Manfred Morari, George J Pappas, and Victor M Preciado. 2020. Learning lyapunov functions for piecewise affine systems with neural network controllers. arXiv preprint arXiv:2008.06546 (2020)."},{"key":"e_1_3_2_1_8_1","volume-title":"Safe Control with Learned Certificates: A Survey of Neural Lyapunov, Barrier, and Contraction methods. arXiv preprint arXiv:2202.11762","author":"Dawson Charles","year":"2022","unstructured":"Charles Dawson , Sicun Gao , and Chuchu Fan . 2022. Safe Control with Learned Certificates: A Survey of Neural Lyapunov, Barrier, and Contraction methods. arXiv preprint arXiv:2202.11762 ( 2022 ). Charles Dawson, Sicun Gao, and Chuchu Fan. 2022. Safe Control with Learned Certificates: A Survey of Neural Lyapunov, Barrier, and Contraction methods. arXiv preprint arXiv:2202.11762 (2022)."},{"key":"e_1_3_2_1_9_1","volume-title":"Conference on Robot Learning. PMLR, 1724--1735","author":"Dawson Charles","year":"2022","unstructured":"Charles Dawson , Zengyi Qin , Sicun Gao , and Chuchu Fan . 2022 . Safe nonlinear control using robust neural lyapunov-barrier functions . In Conference on Robot Learning. PMLR, 1724--1735 . Charles Dawson, Zengyi Qin, Sicun Gao, and Chuchu Fan. 2022. Safe nonlinear control using robust neural lyapunov-barrier functions. In Conference on Robot Learning. PMLR, 1724--1735."},{"key":"e_1_3_2_1_10_1","volume-title":"Automated Technology for Verification and Analysis","author":"Fan Jiameng","unstructured":"Jiameng Fan , Chao Huang , Xin Chen , Wenchao Li , and Qi Zhu . 2020. ReachNN* : A Tool for Reachability Analysis of Neural-Network Controlled Systems . In Automated Technology for Verification and Analysis , Dang Van Hung and Oleg Sokolsky (Eds.). Springer International Publishing , Cham , 537--542. Jiameng Fan, Chao Huang, Xin Chen, Wenchao Li, and Qi Zhu. 2020. ReachNN*: A Tool for Reachability Analysis of Neural-Network Controlled Systems. In Automated Technology for Verification and Analysis, Dang Van Hung and Oleg Sokolsky (Eds.). Springer International Publishing, Cham, 537--542."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1137\/1.9780898719833.ch5"},{"key":"e_1_3_2_1_12_1","volume-title":"Claudio De Persis, and Pietro Tesi","author":"Guo Meichen","year":"2020","unstructured":"Meichen Guo , Claudio De Persis, and Pietro Tesi . 2020 . Learning control for polynomial systems using sum of squares relaxations. In CDC. IEEE , 2436--2441. Meichen Guo, Claudio De Persis, and Pietro Tesi. 2020. Learning control for polynomial systems using sum of squares relaxations. In CDC. IEEE, 2436--2441."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.2140\/pjm.1988.132.35"},{"key":"e_1_3_2_1_14_1","volume-title":"Learning Continuous Control Policies by Stochastic Value Gradients. Advances in Neural Information Processing Systems 28","author":"Heess Nicolas","year":"2015","unstructured":"Nicolas Heess , Gregory Wayne , David Silver , Timothy Lillicrap , Tom Erez , and Yuval Tassa . 2015. Learning Continuous Control Policies by Stochastic Value Gradients. Advances in Neural Information Processing Systems 28 ( 2015 ). Nicolas Heess, Gregory Wayne, David Silver, Timothy Lillicrap, Tom Erez, and Yuval Tassa. 2015. Learning Continuous Control Policies by Stochastic Value Gradients. Advances in Neural Information Processing Systems 28 (2015)."},{"key":"e_1_3_2_1_15_1","volume-title":"Polar: A polynomial arithmetic framework for verifying neural-network controlled systems","author":"Huang Chao","year":"2022","unstructured":"Chao Huang , Jiameng Fan , Xin Chen , Wenchao Li , and Qi Zhu . 2022 . Polar: A polynomial arithmetic framework for verifying neural-network controlled systems . In ATVA. Springer , 414--430. Chao Huang, Jiameng Fan, Xin Chen, Wenchao Li, and Qi Zhu. 2022. Polar: A polynomial arithmetic framework for verifying neural-network controlled systems. In ATVA. Springer, 414--430."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/3358228"},{"key":"e_1_3_2_1_17_1","first-page":"16034","article-title":"Safe pontryagin differentiable programming","volume":"34","author":"Jin Wanxin","year":"2021","unstructured":"Wanxin Jin , Shaoshuai Mou , and George J Pappas . 2021 . Safe pontryagin differentiable programming . NeurIPS 34 (2021), 16034 -- 16050 . Wanxin Jin, Shaoshuai Mou, and George J Pappas. 2021. Safe pontryagin differentiable programming. NeurIPS 34 (2021), 16034--16050.","journal-title":"NeurIPS"},{"key":"e_1_3_2_1_18_1","volume-title":"Neural certificates for safe control policies. arXiv preprint arXiv:2006.08465","author":"Jin Wanxin","year":"2020","unstructured":"Wanxin Jin , Zhaoran Wang , Zhuoran Yang , and Shaoshuai Mou . 2020. Neural certificates for safe control policies. arXiv preprint arXiv:2006.08465 ( 2020 ). Wanxin Jin, Zhaoran Wang, Zhuoran Yang, and Shaoshuai Mou. 2020. Neural certificates for safe control policies. arXiv preprint arXiv:2006.08465 (2020)."},{"key":"e_1_3_2_1_19_1","volume-title":"Nonlinear systems","author":"Khalil Hassan K","year":"2002","unstructured":"Hassan K Khalil . 2002. Nonlinear systems third edition. ( 2002 ). Hassan K Khalil. 2002. Nonlinear systems third edition. (2002)."},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/581339.581406"},{"key":"e_1_3_2_1_21_1","first-page":"1","article-title":"Reinforcement learning for UAV attitude control","volume":"3","author":"Koch William","year":"2019","unstructured":"William Koch , Renato Mancuso , Richard West , and Azer Bestavros . 2019 . Reinforcement learning for UAV attitude control . TCPS 3 , 2 (2019), 1 -- 21 . William Koch, Renato Mancuso, Richard West, and Azer Bestavros. 2019. Reinforcement learning for UAV attitude control. TCPS 3, 2 (2019), 1--21.","journal-title":"TCPS"},{"key":"e_1_3_2_1_22_1","volume-title":"William NN Hung, and Ming Gu","author":"Kong Hui","year":"2013","unstructured":"Hui Kong , Fei He , Xiaoyu Song , William NN Hung, and Ming Gu . 2013 . Exponential-condition-based barrier certificate generation for safety verification of hybrid systems. In CAV. Springer , 242--257. Hui Kong, Fei He, Xiaoyu Song, William NN Hung, and Ming Gu. 2013. Exponential-condition-based barrier certificate generation for safety verification of hybrid systems. In CAV. Springer, 242--257."},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1137\/040603942"},{"key":"e_1_3_2_1_24_1","volume-title":"Conference on Robot Learning. PMLR, 1351--1370","author":"Lindemann Lars","year":"2021","unstructured":"Lars Lindemann , Haimin Hu , Alexander Robey , Hanwen Zhang , Dimos Dimarogonas , Stephen Tu , and Nikolai Matni . 2021 . Learning Hybrid Control Barrier Functions from Data . In Conference on Robot Learning. PMLR, 1351--1370 . Lars Lindemann, Haimin Hu, Alexander Robey, Hanwen Zhang, Dimos Dimarogonas, Stephen Tu, and Nikolai Matni. 2021. Learning Hybrid Control Barrier Functions from Data. In Conference on Robot Learning. PMLR, 1351--1370."},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-19249-9_23"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICCPS54341.2022.00019"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/3566097.3567847"},{"key":"e_1_3_2_1_28_1","volume-title":"Learning Barrier Certificates: Towards Safe Reinforcement Learning with Zero Training-time Violations. NeurIPS 34","author":"Luo Yuping","year":"2021","unstructured":"Yuping Luo and Tengyu Ma. 2021. Learning Barrier Certificates: Towards Safe Reinforcement Learning with Zero Training-time Violations. NeurIPS 34 ( 2021 ). Yuping Luo and Tengyu Ma. 2021. Learning Barrier Certificates: Towards Safe Reinforcement Learning with Zero Training-time Violations. NeurIPS 34 (2021)."},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1080\/00207179208934253"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jco.2006.07.002"},{"key":"e_1_3_2_1_31_1","volume-title":"Numerical optimization","author":"Nocedal Jorge","unstructured":"Jorge Nocedal and Stephen J Wright . 1999. Numerical optimization . Springer . Jorge Nocedal and Stephen J Wright. 1999. Numerical optimization. Springer."},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2002.1184414"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2005.08.007"},{"key":"e_1_3_2_1_34_1","volume-title":"Safety verification of hybrid systems using barrier certificates","author":"Prajna Stephen","unstructured":"Stephen Prajna and Ali Jadbabaie . 2004. Safety verification of hybrid systems using barrier certificates . In HSCC. Springer , 477--492. Stephen Prajna and Ali Jadbabaie. 2004. Safety verification of hybrid systems using barrier certificates. In HSCC. Springer, 477--492."},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2002.1184594"},{"key":"e_1_3_2_1_36_1","volume-title":"Learning Safe Multi-Agent Control with Decentralized Neural Barrier Certificates. arXiv preprint arXiv:2101.05436","author":"Qin Zengyi","year":"2021","unstructured":"Zengyi Qin , Kaiqing Zhang , Yuxiao Chen , Jingkai Chen , and Chuchu Fan . 2021. Learning Safe Multi-Agent Control with Decentralized Neural Barrier Certificates. arXiv preprint arXiv:2101.05436 ( 2021 ). Zengyi Qin, Kaiqing Zhang, Yuxiao Chen, Jingkai Chen, and Chuchu Fan. 2021. Learning Safe Multi-Agent Control with Decentralized Neural Barrier Certificates. arXiv preprint arXiv:2101.05436 (2021)."},{"key":"e_1_3_2_1_37_1","volume-title":"Learning control barrier functions from expert demonstrations","author":"Robey Alexander","unstructured":"Alexander Robey , Haimin Hu , Lars Lindemann , Hanwen Zhang , Dimos V Dimarogonas , Stephen Tu , and Nikolai Matni . 2020. Learning control barrier functions from expert demonstrations . In CDC. IEEE , 3717--3724. Alexander Robey, Haimin Hu, Lars Lindemann, Hanwen Zhang, Dimos V Dimarogonas, Stephen Tu, and Nikolai Matni. 2020. Learning control barrier functions from expert demonstrations. In CDC. IEEE, 3717--3724."},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.ifacol.2021.08.465"},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.3182\/20130904-3-FR-2041.00198"},{"key":"e_1_3_2_1_40_1","volume-title":"Learning to be safe: Deep rl with a safety critic. arXiv preprint arXiv:2010.14603","author":"Srinivasan Krishnan","year":"2020","unstructured":"Krishnan Srinivasan , Benjamin Eysenbach , Sehoon Ha , Jie Tan , and Chelsea Finn . 2020. Learning to be safe: Deep rl with a safety critic. arXiv preprint arXiv:2010.14603 ( 2020 ). Krishnan Srinivasan, Benjamin Eysenbach, Sehoon Ha, Jie Tan, and Chelsea Finn. 2020. Learning to be safe: Deep rl with a safety critic. arXiv preprint arXiv:2010.14603 (2020)."},{"key":"e_1_3_2_1_41_1","unstructured":"Adam Stooke Joshua Achiam and Pieter Abbeel. 2020. Responsive safety in reinforcement learning by pid lagrangian methods. In ICML. PMLR 9133--9143.  Adam Stooke Joshua Achiam and Pieter Abbeel. 2020. Responsive safety in reinforcement learning by pid lagrangian methods. In ICML. PMLR 9133--9143."},{"key":"e_1_3_2_1_42_1","volume-title":"Reinforcement learning: An introduction","author":"Sutton Richard S","unstructured":"Richard S Sutton and Andrew G Barto . 2018. Reinforcement learning: An introduction . MIT press . Richard S Sutton and Andrew G Barto. 2018. Reinforcement learning: An introduction. MIT press."},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1109\/LRA.2021.3070252"},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1109\/LCSYS.2020.3001646"},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1145\/3489517.3530556"},{"key":"e_1_3_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.1109\/DAC18074.2021.9586148"},{"key":"e_1_3_2_1_47_1","doi-asserted-by":"publisher","DOI":"10.1145\/3400302.3415676"},{"key":"e_1_3_2_1_48_1","volume-title":"Ruochen Jiao, Zhilu Wang, Wanxin Jin, Zhuoran Yang, Zhaoran Wang, Chao Huang, and Qi Zhu.","author":"Wang Yixuan","year":"2022","unstructured":"Yixuan Wang , Simon Sinong Zhan , Ruochen Jiao, Zhilu Wang, Wanxin Jin, Zhuoran Yang, Zhaoran Wang, Chao Huang, and Qi Zhu. 2022 . Enforcing Hard Constraints with Soft Barriers : Safe Reinforcement Learning in Unknown Stochastic Environments . arXiv preprint arXiv:2209.15090 (2022). Yixuan Wang, Simon Sinong Zhan, Ruochen Jiao, Zhilu Wang, Wanxin Jin, Zhuoran Yang, Zhaoran Wang, Chao Huang, and Qi Zhu. 2022. Enforcing Hard Constraints with Soft Barriers: Safe Reinforcement Learning in Unknown Stochastic Environments. arXiv preprint arXiv:2209.15090 (2022)."},{"key":"e_1_3_2_1_49_1","doi-asserted-by":"publisher","DOI":"10.23919\/DATE54114.2022.9774719"},{"key":"e_1_3_2_1_50_1","doi-asserted-by":"publisher","DOI":"10.1145\/3061639.3062224"},{"key":"e_1_3_2_1_51_1","series-title":"SIAM review 11, 2","volume-title":"Convergence conditions for ascent methods","author":"Wolfe Philip","year":"1969","unstructured":"Philip Wolfe . 1969. Convergence conditions for ascent methods . SIAM review 11, 2 ( 1969 ), 226--235. Philip Wolfe. 1969. Convergence conditions for ascent methods. SIAM review 11, 2 (1969), 226--235."},{"key":"e_1_3_2_1_52_1","doi-asserted-by":"publisher","DOI":"10.1145\/3408308.3427617"},{"key":"e_1_3_2_1_53_1","doi-asserted-by":"crossref","unstructured":"Hengjun Zhao Xia Zeng Taolue Chen and Zhiming Liu. 2020. Synthesizing barrier certificates using neural networks. In HSCC. 1--11.  Hengjun Zhao Xia Zeng Taolue Chen and Zhiming Liu. 2020. Synthesizing barrier certificates using neural networks. In HSCC. 1--11.","DOI":"10.1145\/3365365.3382222"},{"key":"e_1_3_2_1_54_1","doi-asserted-by":"publisher","DOI":"10.1145\/3394885.3431623"},{"key":"e_1_3_2_1_55_1","doi-asserted-by":"publisher","DOI":"10.1145\/3400302.3415768"},{"key":"e_1_3_2_1_56_1","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2018.2864271"}],"event":{"name":"ICCPS '23: ACM\/IEEE 14th International Conference on Cyber-Physical Systems (with CPS-IoT Week 2023)","location":"San Antonio TX USA","acronym":"ICCPS '23","sponsor":["SIGBED ACM Special Interest Group on Embedded Systems","IEEE TCRTS"]},"container-title":["Proceedings of the ACM\/IEEE 14th International Conference on Cyber-Physical Systems (with CPS-IoT Week 2023)"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3576841.3585919","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T16:47:27Z","timestamp":1750178847000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3576841.3585919"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,5,9]]},"references-count":56,"alternative-id":["10.1145\/3576841.3585919","10.1145\/3576841"],"URL":"https:\/\/doi.org\/10.1145\/3576841.3585919","relation":{},"subject":[],"published":{"date-parts":[[2023,5,9]]},"assertion":[{"value":"2023-05-09","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}