{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,13]],"date-time":"2026-01-13T21:03:07Z","timestamp":1768338187369,"version":"3.49.0"},"publisher-location":"New York, NY, USA","reference-count":5,"publisher":"ACM","license":[{"start":{"date-parts":[[2019,4,16]],"date-time":"2019-04-16T00:00:00Z","timestamp":1555372800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"US NSF","award":["CNS-1646556,1750009, 1740079"],"award-info":[{"award-number":["CNS-1646556,1750009, 1740079"]}]},{"name":"US ARL Cooperative Agreement","award":["W911NF-17-2-0196"],"award-info":[{"award-number":["W911NF-17-2-0196"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2019,4,16]]},"DOI":"10.1145\/3302504.3313351","type":"proceedings-article","created":{"date-parts":[[2019,4,8]],"date-time":"2019-04-08T13:37:58Z","timestamp":1554730678000},"page":"262-263","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":39,"title":["Sherlock - A tool for verification of neural network feedback systems"],"prefix":"10.1145","author":[{"given":"Souradeep","family":"Dutta","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Xin","family":"Chen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Susmit","family":"Jha","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sriram","family":"Sankaranarayanan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ashish","family":"Tiwari","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2019,4,16]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Proc. of CAV'13 (LNCS)","volume":"8044","author":"Chen X.","unstructured":"X. Chen , E. \u00c1brah\u00e1m , and S. Sankaranarayanan . 2013. Flow*: An Analyzer for Non-linear Hybrid Systems . In Proc. of CAV'13 (LNCS) , Vol. 8044 . Springer, 258--263. X. Chen, E. \u00c1brah\u00e1m, and S. Sankaranarayanan. 2013. Flow*: An Analyzer for Non-linear Hybrid Systems. In Proc. of CAV'13 (LNCS), Vol. 8044. Springer, 258--263."},{"key":"e_1_3_2_1_2_1","volume-title":"Output Range Analysis for Deep Feedforward Neural Networks. NFM 2018 (to appear), Cf. https:\/\/arxiv.org\/pdf\/1709","author":"Dutta Souradeep","unstructured":"Souradeep Dutta , Susmit Jha , Sriram Sankaranarayanan , and Ashish Tiwari . {n. d.}. Output Range Analysis for Deep Feedforward Neural Networks. NFM 2018 (to appear), Cf. https:\/\/arxiv.org\/pdf\/1709 .09130.pdf. Souradeep Dutta, Susmit Jha, Sriram Sankaranarayanan, and Ashish Tiwari. {n. d.}. Output Range Analysis for Deep Feedforward Neural Networks. NFM 2018 (to appear), Cf. https:\/\/arxiv.org\/pdf\/1709.09130.pdf."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.ifacol.2018.08.026"},{"key":"e_1_3_2_1_4_1","volume-title":"ATVA (Lecture Notes in Computer Science)","author":"Ehlers R\u00fcdiger","unstructured":"R\u00fcdiger Ehlers . 2017. Formal Verification of Piece-Wise Linear Feed-Forward Neural Networks . In ATVA (Lecture Notes in Computer Science) , Vol. 10482 . Springer , 269--286. R\u00fcdiger Ehlers. 2017. Formal Verification of Piece-Wise Linear Feed-Forward Neural Networks. In ATVA (Lecture Notes in Computer Science), Vol. 10482. Springer, 269--286."},{"key":"e_1_3_2_1_5_1","volume-title":"Kochenderfer","author":"Katz Guy","year":"2017","unstructured":"Guy Katz , Clark Barrett , David L. Dill , Kyle Julian , and Mykel J . Kochenderfer . 2017 . Reluplex : An Efficient SMT Solver for Verifying Deep Neural Networks. Springer International Publishing , Cham, 97--117. Guy Katz, Clark Barrett, David L. Dill, Kyle Julian, and Mykel J. Kochenderfer. 2017. Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks. Springer International Publishing, Cham, 97--117."}],"event":{"name":"HSCC '19: 22nd ACM International Conference on Hybrid Systems: Computation and Control","location":"Montreal Quebec Canada","acronym":"HSCC '19","sponsor":["SIGBED ACM Special Interest Group on Embedded Systems"]},"container-title":["Proceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and Control"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3302504.3313351","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3302504.3313351","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T00:25:37Z","timestamp":1750206337000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3302504.3313351"}},"subtitle":["demo abstract"],"short-title":[],"issued":{"date-parts":[[2019,4,16]]},"references-count":5,"alternative-id":["10.1145\/3302504.3313351","10.1145\/3302504"],"URL":"https:\/\/doi.org\/10.1145\/3302504.3313351","relation":{},"subject":[],"published":{"date-parts":[[2019,4,16]]},"assertion":[{"value":"2019-04-16","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}