{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,13]],"date-time":"2026-01-13T21:17:12Z","timestamp":1768339032197,"version":"3.49.0"},"reference-count":31,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"11","license":[{"start":{"date-parts":[[2024,11,1]],"date-time":"2024-11-01T00:00:00Z","timestamp":1730419200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2024,11,1]],"date-time":"2024-11-01T00:00:00Z","timestamp":1730419200000},"content-version":"am","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2024,11,1]],"date-time":"2024-11-01T00:00:00Z","timestamp":1730419200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2024,11,1]],"date-time":"2024-11-01T00:00:00Z","timestamp":1730419200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"name":"NSF","award":["2008957"],"award-info":[{"award-number":["2008957"]}]},{"name":"Amazon Research Award"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Comput.-Aided Des. Integr. Circuits Syst."],"published-print":{"date-parts":[[2024,11]]},"DOI":"10.1109\/tcad.2024.3445813","type":"journal-article","created":{"date-parts":[[2024,11,6]],"date-time":"2024-11-06T18:40:50Z","timestamp":1730918450000},"page":"4322-4333","source":"Crossref","is-referenced-by-count":5,"title":["Approximate Conformance Checking for Closed-Loop Systems With Neural Network Controllers"],"prefix":"10.1109","volume":"43","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-6599-5510","authenticated-orcid":false,"given":"P.","family":"Habeeb","sequence":"first","affiliation":[{"name":"Department of Computer Science And Automation, Indian Institute of Science (Bengaluru), Bengaluru, India"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Lipsy","family":"Gupta","sequence":"additional","affiliation":[{"name":"Department of Computer Science, Kansas State University, Manhattan, KS, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Pavithra","family":"Prabhakar","sequence":"additional","affiliation":[{"name":"Department of Computer Science, Kansas State University, Manhattan, KS, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref1","first-page":"714","article-title":"Reludiff: Differential verification of deep neural networks","volume-title":"Proc. IEEE\/ACM 42nd Int. Conf. Softw. Eng. (ICSE)","author":"Paulsen"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/ICTAI52525.2021.00035"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-15839-1_14"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-60698-4_13"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-53288-8_4"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-25540-4_26"},{"key":"ref7","first-page":"1","article-title":"Beta-CROWN: Efficient bound propagation with per-neuron split constraints for complete and incomplete neural network verification","volume-title":"Proc. 35th Conf. Neural Inf. Process. Syst.","author":"Wang"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-63387-9_5"},{"key":"ref9","first-page":"15762","article-title":"Abstraction based output range analysis for neural networks","volume-title":"Proc. 32nd Annu. Conf. Neural Inf. Process. Syst. NeurIPS","author":"Prabhakar"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1016\/0893-6080(89)90020-8"},{"key":"ref11","first-page":"4944","article-title":"Efficient neural network robustness certification with general activation functions","volume-title":"Proc. 31st Annu. Conf. Neural Inf. Process. Syst. NeurIPS","author":"Zhang"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-68167-2_19"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1007\/s10472-011-9243-0"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/CDC49753.2023.10383593"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/sp.2018.00058"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1145\/3302504.3313351"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1145\/3290354"},{"key":"ref18","article-title":"Continuous control with deep reinforcement learning","author":"Lillicrap","year":"2015","journal-title":"arXiv:1509.02971"},{"key":"ref19","article-title":"Openai gym","author":"Brockman","year":"2016","journal-title":"arXiv:1606.01540"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-76384-8_2"},{"key":"ref21","first-page":"89","article-title":"Arch-comp23 category report: Artificial intelligence and neural network control systems (AINNCS) for continuous and hybrid systems plants","volume-title":"Proc. 10th Int. Workshop Appl. Verificat. Continuous Hybrid Syst. (ARCH23)","author":"Lopez"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-53288-8_1"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-60698-4_14"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-60698-4_12"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1145\/3302504.3311802"},{"key":"ref26","volume-title":"English Communication and Concurrency","author":"Milner","year":"1989"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1109\/tac.2007.895849"},{"issue":"2","key":"ref28","doi-asserted-by":"crossref","first-page":"94","DOI":"10.1016\/j.sysconle.2008.09.001","article-title":"Approximate equivalence and synchronization of metric transition systems","volume":"58","author":"Julius","year":"2009","journal-title":"Syst. Control. Lett."},{"key":"ref29","first-page":"244","article-title":"Hybridization for stability verification of nonlinear switched systems","volume-title":"Proc. 41st IEEE Real-Time Syst. Symp., (RTSS)","author":"Soto"},{"key":"ref30","first-page":"277","article-title":"Reachset conformance testing of hybrid automata","volume-title":"Proc. 19th Int. Conf. Hybrid Syst., Comput. Control, (HSCC)","author":"Roehm"},{"key":"ref31","first-page":"285","article-title":"Bisimulations for neural network reduction","volume-title":"Proc. 23rd Int. Conf. Verificat., Model Check., Abstract Interpretat. (VMCAI)","author":"Prabhakar"}],"container-title":["IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems"],"original-title":[],"link":[{"URL":"https:\/\/ieeexplore.ieee.org\/ielam\/43\/10745760\/10745797-aam.pdf","content-type":"application\/pdf","content-version":"am","intended-application":"syndication"},{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/43\/10745760\/10745797.pdf?arnumber=10745797","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,11,27]],"date-time":"2024-11-27T13:57:59Z","timestamp":1732715879000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10745797\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,11]]},"references-count":31,"journal-issue":{"issue":"11"},"URL":"https:\/\/doi.org\/10.1109\/tcad.2024.3445813","relation":{},"ISSN":["0278-0070","1937-4151"],"issn-type":[{"value":"0278-0070","type":"print"},{"value":"1937-4151","type":"electronic"}],"subject":[],"published":{"date-parts":[[2024,11]]}}}