{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,18]],"date-time":"2026-05-18T07:01:33Z","timestamp":1779087693399,"version":"3.51.4"},"reference-count":53,"publisher":"Association for Computing Machinery (ACM)","issue":"5s","license":[{"start":{"date-parts":[[2023,9,9]],"date-time":"2023-09-09T00:00:00Z","timestamp":1694217600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"National Key Research and Development Project, China","award":["2022YFA1005101"],"award-info":[{"award-number":["2022YFA1005101"]}]},{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"crossref","award":["12171159, 61972385, 62272397"],"award-info":[{"award-number":["12171159, 61972385, 62272397"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"crossref"}]},{"name":"Shanghai Trusted Industry Internet Software Collaborative Innovation Center"},{"name":"\u201cDigital Silk Road\u201d Shanghai International Joint Lab of Trustworthy Intelligent Software","award":["22510750100"],"award-info":[{"award-number":["22510750100"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["ACM Trans. Embed. Comput. Syst."],"published-print":{"date-parts":[[2023,10,31]]},"abstract":"<jats:p>\n            This paper presents a novel approach to safety verification based on neural barrier certificates synthesis for continuous dynamical systems. We construct the synthesis framework as an inductive loop between a\n            <jats:italic>Learner<\/jats:italic>\n            and a\n            <jats:italic>Verifier<\/jats:italic>\n            based on barrier certificate learning and counterexample guidance. Compared with the counterexample-guided verification method based on the SMT solver, we design and learn neural barrier functions with special structure, and use the special form to convert the counterexample generation into a polynomial optimization problem for obtaining the optimal counterexample. In the verification phase, the task of identifying the real barrier certificate can be tackled by solving the Linear Matrix Inequalities (LMI) feasibility problem, which is efficient and makes the proposed method formally sound. The experimental results demonstrate that our approach is more effective and practical than the traditional SOS-based barrier certificates synthesis and the state-of-the-art neural barrier certificates learning approach.\n          <\/jats:p>","DOI":"10.1145\/3609125","type":"journal-article","created":{"date-parts":[[2023,9,9]],"date-time":"2023-09-09T13:33:18Z","timestamp":1694266398000},"page":"1-21","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":13,"title":["Formal Synthesis of Neural Barrier Certificates for Continuous Systems via Counterexample Guided Learning"],"prefix":"10.1145","volume":"22","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-5246-0330","authenticated-orcid":false,"given":"Hanrui","family":"Zhao","sequence":"first","affiliation":[{"name":"East China Normal University, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0009-0003-5352-3681","authenticated-orcid":false,"given":"Niuniu","family":"Qi","sequence":"additional","affiliation":[{"name":"East China Normal University, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0009-0008-6894-7109","authenticated-orcid":false,"given":"Lydia","family":"Dehbi","sequence":"additional","affiliation":[{"name":"East China Normal University, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-2575-7045","authenticated-orcid":false,"given":"Xia","family":"Zeng","sequence":"additional","affiliation":[{"name":"Southwest University, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-1209-8191","authenticated-orcid":false,"given":"Zhengfeng","family":"Yang","sequence":"additional","affiliation":[{"name":"East China Normal University, China"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2023,9,9]]},"reference":[{"key":"e_1_3_1_2_2","first-page":"1","volume-title":"Proceedings of the 24th International Conference on Hybrid Systems: Computation and Control","author":"Abate Alessandro","year":"2021","unstructured":"Alessandro Abate, Daniele Ahmed, Alec Edwards, Mirco Giacobbe, and Andrea Peruffo. 2021. FOSSIL: A software tool for the formal synthesis of lyapunov functions and barrier certificates using neural networks. In Proceedings of the 24th International Conference on Hybrid Systems: Computation and Control. 1\u201311."},{"key":"e_1_3_1_3_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4757-3216-0_8"},{"key":"e_1_3_1_4_2","volume-title":"Handbook of Satisfiability (2nd ed.)","author":"Barrett Clark","year":"2021","unstructured":"Clark Barrett, Roberto Sebastiani, Sanjit A. Seshia, and Cesare Tinelli. 2021. Satisfiability modulo theories. In Handbook of Satisfiability (2nd ed.). IOS Press."},{"key":"e_1_3_1_5_2","doi-asserted-by":"crossref","first-page":"183","DOI":"10.1109\/RTSS.2012.70","volume-title":"2012 IEEE 33rd Real-Time Systems Symposium","author":"Chen Xin","year":"2012","unstructured":"Xin Chen, Erika Abraham, and Sriram Sankaranarayanan. 2012. Taylor model flowpipe construction for non-linear hybrid systems. In 2012 IEEE 33rd Real-Time Systems Symposium. IEEE, 183\u2013192."},{"key":"e_1_3_1_6_2","volume-title":"Proceedings of the IEEE\/CVF Conference on Computer Vision and Pattern Recognition (CVPR)","author":"Chrysos Grigorios G.","year":"2020","unstructured":"Grigorios G. Chrysos, Stylianos Moschoglou, Giorgos Bouritsas, Yannis Panagakis, Jiankang Deng, and Stefanos Zafeiriou. 2020. P-nets: Deep polynomial neural networks. In Proceedings of the IEEE\/CVF Conference on Computer Vision and Pattern Recognition (CVPR)."},{"key":"e_1_3_1_7_2","first-page":"698","volume-title":"29th Annual Conference on Learning Theory","volume":"49","author":"Cohen Nadav","year":"2016","unstructured":"Nadav Cohen, Or Sharir, and Amnon Shashua. 2016. On the expressive power of deep learning: A tensor analysis. In 29th Annual Conference on Learning Theory, Vol. 49. PMLR, 698\u2013728."},{"key":"e_1_3_1_8_2","first-page":"134","volume-title":"Automata Theory and Formal Languages","author":"Collins George E.","year":"1975","unstructured":"George E. Collins. 1975. Quantifier elimination for real closed fields by cylindrical algebraic decompostion. In Automata Theory and Formal Languages. Springer, 134\u2013183."},{"key":"e_1_3_1_9_2","first-page":"13733","volume-title":"Proceedings of the IEEE\/CVF Conference on Computer Vision and Pattern Recognition","author":"Ding Xiaohan","year":"2021","unstructured":"Xiaohan Ding, Xiangyu Zhang, Ningning Ma, Jungong Han, Guiguang Ding, and Jian Sun. 2021. Repvgg: Making vgg-style convnets great again. In Proceedings of the IEEE\/CVF Conference on Computer Vision and Pattern Recognition. 13733\u201313742."},{"key":"e_1_3_1_10_2","doi-asserted-by":"crossref","first-page":"121","DOI":"10.1007\/978-3-319-77935-5_9","volume-title":"NASA Formal Methods - 10th International Symposium, NFM","author":"Dutta Souradeep","year":"2018","unstructured":"Souradeep Dutta, Susmit Jha, Sriram Sankaranarayanan, and Ashish Tiwari. 2018. Output range analysis for deep feedforward neural networks. In NASA Formal Methods - 10th International Symposium, NFM, Vol. 10811. Springer, 121\u2013138."},{"issue":"1","key":"e_1_3_1_11_2","doi-asserted-by":"crossref","first-page":"167","DOI":"10.1007\/s10440-014-9974-0","article-title":"Seeking darboux polynomials","volume":"139","author":"Ferragut Antoni","year":"2015","unstructured":"Antoni Ferragut and Armengol Gasull. 2015. Seeking darboux polynomials. Acta Applicandae Mathematicae 139, 1 (2015), 167\u2013186.","journal-title":"Acta Applicandae Mathematicae"},{"issue":"3","key":"e_1_3_1_12_2","first-page":"209","article-title":"Efficient solving of large non-linear arithmetic constraint systems with complex boolean structure","volume":"1","author":"Fr\u00e4nzle Martin","year":"2006","unstructured":"Martin Fr\u00e4nzle, Christian Herde, Tino Teige, Stefan Ratschan, and Tobias Schubert. 2006. Efficient solving of large non-linear arithmetic constraint systems with complex boolean structure. Journal on Satisfiability, Boolean Modeling and Computation 1, 3-4 (2006), 209\u2013236.","journal-title":"Journal on Satisfiability, Boolean Modeling and Computation"},{"key":"e_1_3_1_13_2","doi-asserted-by":"crossref","first-page":"258","DOI":"10.1007\/978-3-540-31954-2_17","volume-title":"International Workshop on Hybrid Systems: Computation and Control","author":"Frehse Goran","year":"2005","unstructured":"Goran Frehse. 2005. PHAVer: Algorithmic verification of hybrid systems past HyTech. In International Workshop on Hybrid Systems: Computation and Control. Springer, 258\u2013273."},{"key":"e_1_3_1_14_2","doi-asserted-by":"publisher","DOI":"10.5555\/2032305.2032335"},{"key":"e_1_3_1_15_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-31365-3_23"},{"key":"e_1_3_1_16_2","first-page":"137","volume-title":"International Conference on Computer Aided Verification","author":"Gao Sicun","year":"2019","unstructured":"Sicun Gao, James Kapinski, Jyotirmoy Deshmukh, Nima Roohi, Armando Solar-Lezama, Nikos Ar\u00e9chiga, and Soonho Kong. 2019. Numerically-robust inductive proof rules for continuous dynamical systems. In International Conference on Computer Aided Verification. Springer, 137\u2013154."},{"key":"e_1_3_1_17_2","article-title":"Quadcopter model","author":"Gao Sicun","year":"2016","unstructured":"Sicun Gao. 2016. Quadcopter model. [online]https:\/\/github.com\/dreal\/benchmarks","journal-title":"[online]https:\/\/github.com\/dreal\/benchmarks"},{"key":"e_1_3_1_18_2","doi-asserted-by":"publisher","DOI":"10.1109\/CVPR.2016.90"},{"key":"e_1_3_1_19_2","doi-asserted-by":"crossref","first-page":"97","DOI":"10.1007\/978-3-319-63387-9_5","volume-title":"Computer Aided Verification - 29th International Conference, CAV","volume":"10426","author":"Katz Guy","year":"2017","unstructured":"Guy Katz, Clark W. Barrett, David L. Dill, Kyle Julian, and Mykel J. Kochenderfer. 2017. Reluplex: An efficient SMT solver for verifying deep neural networks. In Computer Aided Verification - 29th International Conference, CAV, Vol. 10426. 97\u2013117."},{"key":"e_1_3_1_20_2","doi-asserted-by":"crossref","DOI":"10.1002\/3527603603","volume-title":"Systems Biology in Practice: Concepts, Implementation and Application","author":"Klipp Edda","year":"2005","unstructured":"Edda Klipp, Ralf Herwig, Axel Kowald, Christoph Wierling, and Hans Lehrach. 2005. Systems Biology in Practice: Concepts, Implementation and Application. John Wiley & Sons."},{"key":"e_1_3_1_21_2","article-title":"YOLOv6: A single-stage object detection framework for industrial applications","author":"Li Chuyi","year":"2022","unstructured":"Chuyi Li, Lulu Li, Hongliang Jiang, Kaiheng Weng, Yifei Geng, Liang Li, Zaidan Ke, Qingyuan Li, Meng Cheng, Weiqiang Nie, et\u00a0al. 2022. YOLOv6: A single-stage object detection framework for industrial applications. arXiv preprint arXiv:2209.02976 (2022).","journal-title":"arXiv preprint arXiv:2209.02976"},{"issue":"2","key":"e_1_3_1_22_2","doi-asserted-by":"crossref","first-page":"1203","DOI":"10.1016\/j.jmaa.2007.03.049","article-title":"On the integrability of the einstein\u2013yang\u2013mills equations","volume":"336","author":"Llibre Jaume","year":"2007","unstructured":"Jaume Llibre and Cl\u00e0udia Valls. 2007. On the integrability of the einstein\u2013yang\u2013mills equations. Journal of Mathematical Analysis and Applications 336, 2 (2007), 1203\u20131230.","journal-title":"Journal of Mathematical Analysis and Applications"},{"key":"e_1_3_1_23_2","doi-asserted-by":"publisher","DOI":"10.1109\/CACSD.2004.1393890"},{"key":"e_1_3_1_24_2","doi-asserted-by":"crossref","first-page":"23","DOI":"10.1007\/10997703_2","volume-title":"Positive Polynomials in Control","author":"Papachristodoulou Antonis","year":"2005","unstructured":"Antonis Papachristodoulou and Stephen Prajna. 2005. Analysis of non-polynomial systems using the sum of squares decomposition. In Positive Polynomials in Control. Springer, 23\u201343."},{"key":"e_1_3_1_25_2","volume-title":"Structured Semidefinite Programs and Semialgebraic Geometry Methods in Robustness and Optimization","author":"Parrilo Pablo A.","year":"2000","unstructured":"Pablo A. Parrilo. 2000. Structured Semidefinite Programs and Semialgebraic Geometry Methods in Robustness and Optimization. California Institute of Technology."},{"key":"e_1_3_1_26_2","first-page":"370","volume-title":"International Conference on Tools and Algorithms for the Construction and Analysis of Systems","author":"Peruffo Andrea","year":"2021","unstructured":"Andrea Peruffo, Daniele Ahmed, and Alessandro Abate. 2021. Automated and formal synthesis of neural barrier certificates for dynamical models. In International Conference on Tools and Algorithms for the Construction and Analysis of Systems. Springer, 370\u2013388."},{"key":"e_1_3_1_27_2","doi-asserted-by":"crossref","first-page":"176","DOI":"10.1007\/978-3-540-70545-1_17","volume-title":"International Conference on Computer Aided Verification","author":"Platzer Andr\u00e9","year":"2008","unstructured":"Andr\u00e9 Platzer and Edmund M. Clarke. 2008. Computing differential invariants of hybrid systems as fixedpoints. In International Conference on Computer Aided Verification. Springer, 176\u2013189."},{"key":"e_1_3_1_28_2","article-title":"SOSTOOLS: Sum of squares optimization toolbox for MATLAB","author":"Prajna Stephen","year":"2004","unstructured":"Stephen Prajna. 2004. SOSTOOLS: Sum of squares optimization toolbox for MATLAB. http:\/\/www.mit.edu\/~parrilo\/sostools\/index.html","journal-title":"http:\/\/www.mit.edu\/~parrilo\/sostools\/index.html"},{"key":"e_1_3_1_29_2","doi-asserted-by":"crossref","first-page":"477","DOI":"10.1007\/978-3-540-24743-2_32","volume-title":"International Workshop on Hybrid Systems: Computation and Control","author":"Prajna Stephen","year":"2004","unstructured":"Stephen Prajna and Ali Jadbabaie. 2004. Safety verification of hybrid systems using barrier certificates. In International Workshop on Hybrid Systems: Computation and Control. Springer, 477\u2013492."},{"key":"e_1_3_1_30_2","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2007.902736"},{"key":"e_1_3_1_31_2","first-page":"968","article-title":"Positive polynomials on compact semi-algebraic sets","volume":"42","author":"Putinar Mihai","year":"1993","unstructured":"Mihai Putinar. 1993. Positive polynomials on compact semi-algebraic sets. Indiana University Mathematics Journal 42 (1993), 968\u2013984.","journal-title":"Indiana University Mathematics Journal"},{"key":"e_1_3_1_32_2","doi-asserted-by":"crossref","first-page":"303","DOI":"10.1007\/978-3-319-65765-3_17","volume-title":"Formal Modeling and Analysis of Timed Systems: 15th International Conference, FORMATS 2017, Berlin, Germany, September 5\u20137, 2017, Proceedings 15","author":"Ratschan Stefan","year":"2017","unstructured":"Stefan Ratschan. 2017. Simulation based computation of certificates for safety of dynamical systems. In Formal Modeling and Analysis of Timed Systems: 15th International Conference, FORMATS 2017, Berlin, Germany, September 5\u20137, 2017, Proceedings 15. Springer, 303\u2013317."},{"key":"e_1_3_1_33_2","first-page":"1","volume-title":"2006 IEEE International Conference on Computational Cybernetics","author":"Ratschan Stefan","year":"2006","unstructured":"Stefan Ratschan and Zhikun She. 2006. Providing a basin of attraction to a target region by computation of lyapunov-like functions. In 2006 IEEE International Conference on Computational Cybernetics. IEEE, 1\u20135."},{"issue":"1","key":"e_1_3_1_34_2","doi-asserted-by":"crossref","first-page":"8\u2013es","DOI":"10.1145\/1210268.1210276","article-title":"Safety verification of hybrid systems by constraint propagation-based abstraction refinement","volume":"6","author":"Ratschan Stefan","year":"2007","unstructured":"Stefan Ratschan and Zhikun She. 2007. Safety verification of hybrid systems by constraint propagation-based abstraction refinement. ACM Transactions on Embedded Computing Systems (TECS) 6, 1 (2007), 8\u2013es.","journal-title":"ACM Transactions on Embedded Computing Systems (TECS)"},{"key":"e_1_3_1_35_2","doi-asserted-by":"publisher","DOI":"10.1137\/090749955"},{"key":"e_1_3_1_36_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2015.06.018"},{"issue":"2","key":"e_1_3_1_37_2","article-title":"Linear matrix inequalities in control","volume":"3","author":"Scherer Carsten","year":"2000","unstructured":"Carsten Scherer and Siep Weiland. 2000. Linear matrix inequalities in control. Lecture Notes, Dutch Institute for Systems and Control, Delft, The Netherlands 3, 2 (2000).","journal-title":"Lecture Notes, Dutch Institute for Systems and Control, Delft, The Netherlands"},{"key":"e_1_3_1_38_2","first-page":"10825","volume-title":"Advances in Neural Information Processing Systems 31: Annual Conference on Neural Information Processing Systems","author":"Singh Gagandeep","year":"2018","unstructured":"Gagandeep Singh, Timon Gehr, Matthew Mirman, Markus P\u00fcschel, and Martin T. Vechev. 2018. Fast and effective robustness certification. In Advances in Neural Information Processing Systems 31: Annual Conference on Neural Information Processing Systems. 10825\u201310836."},{"key":"e_1_3_1_39_2","first-page":"41:1\u201341:30","article-title":"An abstract domain for certifying neural networks","volume":"3","author":"Singh Gagandeep","year":"2019","unstructured":"Gagandeep Singh, Timon Gehr, Markus P\u00fcschel, and Martin T. Vechev. 2019. An abstract domain for certifying neural networks. Proc. ACM Program. Lang. 3, POPL (2019), 41:1\u201341:30.","journal-title":"Proc. ACM Program. Lang."},{"key":"e_1_3_1_40_2","first-page":"15","volume-title":"Hybrid Systems: Computation and Control (part of CPS Week)","author":"Sloth Christoffer","year":"2012","unstructured":"Christoffer Sloth, George J. Pappas, and Rafael Wisniewski. 2012. Compositional safety analysis using barrier certificates. In Hybrid Systems: Computation and Control (part of CPS Week). ACM, 15\u201324."},{"key":"e_1_3_1_41_2","first-page":"42","volume-title":"ARCH@ CPSWeek 2016-3rd International Workshop on Applied Verification for Continuous and Hybrid Systems","author":"Sogokon Andrew","year":"2016","unstructured":"Andrew Sogokon, Khalil Ghorbal, and Taylor T. Johnson. 2016. Non-linear continuous systems for safety verification (benchmark proposal). In ARCH@ CPSWeek 2016-3rd International Workshop on Applied Verification for Continuous and Hybrid Systems, Vol. 43. EasyChair, 42\u201351."},{"key":"e_1_3_1_42_2","first-page":"418","volume-title":"Formal Methods - 22nd International Symposium","author":"Sogokon Andrew","year":"2018","unstructured":"Andrew Sogokon, Khalil Ghorbal, Yong Kiam Tan, and Andr\u00e9 Platzer. 2018. Vector barrier certificates and comparison systems. In Formal Methods - 22nd International Symposium, Vol. 10951. Springer, 418\u2013437."},{"key":"e_1_3_1_43_2","doi-asserted-by":"publisher","DOI":"10.1145\/1168857.1168907"},{"key":"e_1_3_1_44_2","article-title":"Verifying neural networks with mixed integer programming","volume":"1711","author":"Tjeng Vincent","year":"2017","unstructured":"Vincent Tjeng and Russ Tedrake. 2017. Verifying neural networks with mixed integer programming. CoRR abs\/1711.07356 (2017).","journal-title":"CoRR"},{"key":"e_1_3_1_45_2","volume-title":"7th International Conference on Learning Representations, ICLR","author":"Tjeng Vincent","year":"2019","unstructured":"Vincent Tjeng, Kai Yuanqing Xiao, and Russ Tedrake. 2019. Evaluating robustness of neural networks with mixed integer programming. In 7th International Conference on Learning Representations, ICLR."},{"key":"e_1_3_1_46_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2008.03.010"},{"key":"e_1_3_1_47_2","first-page":"1599","volume-title":"27th USENIX Security Symposium, USENIX Security","author":"Wang Shiqi","year":"2018","unstructured":"Shiqi Wang, Kexin Pei, Justin Whitehouse, Junfeng Yang, and Suman Jana. 2018. Formal security analysis of neural networks using symbolic intervals. In 27th USENIX Security Symposium, USENIX Security. 1599\u20131614."},{"key":"e_1_3_1_48_2","first-page":"5283","volume-title":"Proceedings of the 35th International Conference on Machine Learning, ICML","volume":"80","author":"Wong Eric","year":"2018","unstructured":"Eric Wong and J. Zico Kolter. 2018. Provable defenses against adversarial examples via the convex outer adversarial polytope. In Proceedings of the 35th International Conference on Machine Learning, ICML, Vol. 80. 5283\u20135292."},{"key":"e_1_3_1_49_2","doi-asserted-by":"publisher","DOI":"10.1109\/LGRS.2022.3225151"},{"key":"e_1_3_1_50_2","doi-asserted-by":"crossref","first-page":"467","DOI":"10.1007\/978-3-030-81685-8_22","volume-title":"Computer Aided Verification - 33rd International Conference","volume":"12759","author":"Yang Zhengfeng","year":"2021","unstructured":"Zhengfeng Yang, Yidan Zhang, Wang Lin, Xia Zeng, Xiaochao Tang, Zhenbing Zeng, and Zhiming Liu. 2021. An iterative scheme of safe reinforcement learning for nonlinear systems via barrier certificate generation. In Computer Aided Verification - 33rd International Conference, Vol. 12759. Springer, 467\u2013490."},{"key":"e_1_3_1_51_2","doi-asserted-by":"publisher","DOI":"10.1145\/2968478.2968484"},{"key":"e_1_3_1_52_2","doi-asserted-by":"publisher","DOI":"10.1145\/3365365.3382222"},{"key":"e_1_3_1_53_2","doi-asserted-by":"crossref","first-page":"461","DOI":"10.1109\/CACRE52464.2021.9501337","volume-title":"2021 6th International Conference on Automation, Control and Robotics Engineering (CACRE)","author":"Zheng Yuhong","year":"2021","unstructured":"Yuhong Zheng, Meng Joo Er, Guanlin Yi, and Shiwei Shen. 2021. RepUNet: A fast image semantic segmentation model based on convolutional reparameterization of ship satellite images. In 2021 6th International Conference on Automation, Control and Robotics Engineering (CACRE). IEEE, 461\u2013465."},{"key":"e_1_3_1_54_2","doi-asserted-by":"publisher","DOI":"10.1145\/3314221.3314638"}],"container-title":["ACM Transactions on Embedded Computing Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3609125","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3609125","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T17:48:58Z","timestamp":1750182538000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3609125"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,9,9]]},"references-count":53,"journal-issue":{"issue":"5s","published-print":{"date-parts":[[2023,10,31]]}},"alternative-id":["10.1145\/3609125"],"URL":"https:\/\/doi.org\/10.1145\/3609125","relation":{},"ISSN":["1539-9087","1558-3465"],"issn-type":[{"value":"1539-9087","type":"print"},{"value":"1558-3465","type":"electronic"}],"subject":[],"published":{"date-parts":[[2023,9,9]]},"assertion":[{"value":"2023-03-23","order":0,"name":"received","label":"Received","group":{"name":"publication_history","label":"Publication History"}},{"value":"2023-07-13","order":1,"name":"accepted","label":"Accepted","group":{"name":"publication_history","label":"Publication History"}},{"value":"2023-09-09","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}