{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,14]],"date-time":"2026-04-14T10:01:22Z","timestamp":1776160882994,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":30,"publisher":"ACM","license":[{"start":{"date-parts":[[2020,4,22]],"date-time":"2020-04-22T00:00:00Z","timestamp":1587513600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/100000185","name":"Defense Advanced Research Projects Agency","doi-asserted-by":"publisher","award":["FA8750-18-C-0090"],"award-info":[{"award-number":["FA8750-18-C-0090"]}],"id":[{"id":"10.13039\/100000185","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2020,4,22]]},"DOI":"10.1145\/3365365.3382216","type":"proceedings-article","created":{"date-parts":[[2020,5,4]],"date-time":"2020-05-04T07:48:38Z","timestamp":1588578518000},"page":"1-7","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":56,"title":["Case study"],"prefix":"10.1145","author":[{"given":"Radoslav","family":"Ivanov","sequence":"first","affiliation":[{"name":"University of Pennsylvania"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Taylor J.","family":"Carpenter","sequence":"additional","affiliation":[{"name":"University of Pennsylvania"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"James","family":"Weimer","sequence":"additional","affiliation":[{"name":"University of Pennsylvania"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rajeev","family":"Alur","sequence":"additional","affiliation":[{"name":"University of Pennsylvania"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"George J.","family":"Pappas","sequence":"additional","affiliation":[{"name":"University of Pennsylvania"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Insup","family":"Lee","sequence":"additional","affiliation":[{"name":"University of Pennsylvania"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2020,4,22]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"[n.d.]. F1\/10 Autonomous Racing Competition. http:\/\/f1tenth.org.  [n.d.]. F1\/10 Autonomous Racing Competition. http:\/\/f1tenth.org."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/2038642.2038685"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"crossref","unstructured":"R. Alur C. Courcoubetis N. Halbwachs T. A. Henzinger P. H. Ho X. Nicollin A. Olivero J. Sifakis and S. Yovine. 1995. The algorithmic analysis of hybrid systems. Theoretical computer science 138 1 (1995) 3--34.  R. Alur C. Courcoubetis N. Halbwachs T. A. Henzinger P. H. Ho X. Nicollin A. Olivero J. Sifakis and S. Yovine. 1995. The algorithmic analysis of hybrid systems. Theoretical computer science 138 1 (1995) 3--34.","DOI":"10.1016\/0304-3975(94)00202-T"},{"key":"e_1_3_2_1_4_1","unstructured":"US National Transportation Safety Board. [n.d.]. Preliminary Report Highway HWY18MH010. https:\/\/www.ntsb.gov\/investigations\/AccidentReports\/Reports\/HWY18MH010-prelim.pdf.  US National Transportation Safety Board. [n.d.]. Preliminary Report Highway HWY18MH010. https:\/\/www.ntsb.gov\/investigations\/AccidentReports\/Reports\/HWY18MH010-prelim.pdf."},{"key":"e_1_3_2_1_5_1","volume-title":"Davide Del Testa","author":"Bojarski Mariusz","year":"2016","unstructured":"Mariusz Bojarski , Davide Del Testa , Daniel Dworakowski, Bernhard Firner , Beat Flepp, Prasoon Goyal, Lawrence D Jackel, Mathew Monfort, Urs Muller, Jiakai Zhang, et al. 2016 . End to end learning for self-driving cars. arXiv preprint arXiv:1604.07316 (2016). Mariusz Bojarski, Davide Del Testa, Daniel Dworakowski, Bernhard Firner, Beat Flepp, Prasoon Goyal, Lawrence D Jackel, Mathew Monfort, Urs Muller, Jiakai Zhang, et al. 2016. End to end learning for self-driving cars. arXiv preprint arXiv:1604.07316 (2016)."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA.2019.8793789"},{"key":"e_1_3_2_1_7_1","volume-title":"International Conference on Computer Aided Verification. Springer, 258--263","author":"Chen X.","unstructured":"X. Chen , E. \u00c1brah\u00e1m , and S. Sankaranarayanan . 2013. Flow*: An analyzer for nonlinear hybrid systems . In International Conference on Computer Aided Verification. Springer, 258--263 . X. Chen, E. \u00c1brah\u00e1m, and S. Sankaranarayanan. 2013. Flow*: An analyzer for nonlinear hybrid systems. In International Conference on Computer Aided Verification. Springer, 258--263."},{"key":"e_1_3_2_1_8_1","volume-title":"Handbook of Model Checking","author":"Doyen Laurent","unstructured":"Laurent Doyen , Goran Frehse , George J Pappas , and Andr\u00e9 Platzer . 2018. Verification of hybrid systems . In Handbook of Model Checking . Springer , 1047--1110. Laurent Doyen, Goran Frehse, George J Pappas, and Andr\u00e9 Platzer. 2018. Verification of hybrid systems. In Handbook of Model Checking. Springer, 1047--1110."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/3302504.3311807"},{"key":"e_1_3_2_1_10_1","volume-title":"Output Range Analysis for Deep Feedforward Neural Networks. In NASA Formal Methods Symposium. Springer, 121--138","author":"Dutta S.","unstructured":"S. Dutta , S. Jha , S. Sankaranarayanan , and A. Tiwari . 2018 . Output Range Analysis for Deep Feedforward Neural Networks. In NASA Formal Methods Symposium. Springer, 121--138 . S. Dutta, S. Jha, S. Sankaranarayanan, and A. Tiwari. 2018. Output Range Analysis for Deep Feedforward Neural Networks. In NASA Formal Methods Symposium. Springer, 121--138."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-68167-2_19"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA.2017.7989324"},{"key":"e_1_3_2_1_13_1","volume-title":"Addressing function approximation error in actor-critic methods. arXiv preprint arXiv:1802.09477","author":"Fujimoto Scott","year":"2018","unstructured":"Scott Fujimoto , Herke van Hoof , and David Meger . 2018. Addressing function approximation error in actor-critic methods. arXiv preprint arXiv:1802.09477 ( 2018 ). Scott Fujimoto, Herke van Hoof, and David Meger. 2018. Addressing function approximation error in actor-critic methods. arXiv preprint arXiv:1802.09477 (2018)."},{"key":"e_1_3_2_1_14_1","volume-title":"International Conference on Machine Learning. 2829--2838","author":"Gu Shixiang","year":"2016","unstructured":"Shixiang Gu , Timothy Lillicrap , Ilya Sutskever , and Sergey Levine . 2016 . Continuous deep q-learning with model-based acceleration . In International Conference on Machine Learning. 2829--2838 . Shixiang Gu, Timothy Lillicrap, Ilya Sutskever, and Sergey Levine. 2016. Continuous deep q-learning with model-based acceleration. In International Conference on Machine Learning. 2829--2838."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/3302504.3311806"},{"key":"e_1_3_2_1_16_1","volume-title":"Digital Avionics Systems Conference (DASC)","author":"Julian K.D.","year":"2016","unstructured":"K.D. Julian , J. Lopez , J. S. Brush , M. P. Owen , and M. J. Kochenderfer . 2016. Policy compression for aircraft collision avoidance systems . In Digital Avionics Systems Conference (DASC) , 2016 IEEE\/AIAA 35th. IEEE, 1--10. K.D. Julian, J. Lopez, J. S. Brush, M. P. Owen, and M. J. Kochenderfer. 2016. Policy compression for aircraft collision avoidance systems. In Digital Avionics Systems Conference (DASC), 2016 IEEE\/AIAA 35th. IEEE, 1--10."},{"key":"e_1_3_2_1_17_1","volume-title":"Reluplex: An efficient SMT solver for verifying deep neural networks. In International Conference on Computer Aided Verification","author":"Katz G.","year":"2017","unstructured":"G. Katz , C. Barrett , D. L. Dill , K. Julian , and M. J. Kochenderfer . 2017 . Reluplex: An efficient SMT solver for verifying deep neural networks. In International Conference on Computer Aided Verification . Springer , 97--117. G. Katz, C. Barrett, D. L. Dill, K. Julian, and M. J. Kochenderfer. 2017. Reluplex: An efficient SMT solver for verifying deep neural networks. In International Conference on Computer Aided Verification. Springer, 97--117."},{"key":"e_1_3_2_1_18_1","volume-title":"International Conference on TOOLS and Algorithms for the Construction and Analysis of Systems. Springer, 200--205","author":"Kong S.","unstructured":"S. Kong , S. Gao , W. Chen , and E. Clarke . 2015. dReach: \u0394-reachability analysis for hybrid systems . In International Conference on TOOLS and Algorithms for the Construction and Analysis of Systems. Springer, 200--205 . S. Kong, S. Gao, W. Chen, and E. Clarke. 2015. dReach: \u0394-reachability analysis for hybrid systems. In International Conference on TOOLS and Algorithms for the Construction and Analysis of Systems. Springer, 200--205."},{"key":"e_1_3_2_1_19_1","volume-title":"International Workshop on Hybrid Systems: Computation and Control. 137--151","author":"Lafferriere G.","unstructured":"G. Lafferriere , G. J. Pappas , and S. Yovine . 1999. A new class of decidable hybrid systems . In International Workshop on Hybrid Systems: Computation and Control. 137--151 . G. Lafferriere, G. J. Pappas, and S. Yovine. 1999. A new class of decidable hybrid systems. In International Workshop on Hybrid Systems: Computation and Control. 137--151."},{"key":"e_1_3_2_1_20_1","unstructured":"T. P. Lillicrap J. J. Hunt A. Pritzel N. Heess T. Erez Y. Tassa D. Silver and D. Wierstra. 2015. Continuous control with deep reinforcement learning. arXiv preprint arXiv:1509.02971 (2015).  T. P. Lillicrap J. J. Hunt A. Pritzel N. Heess T. Erez Y. Tassa D. Silver and D. Wierstra. 2015. Continuous control with deep reinforcement learning. arXiv preprint arXiv:1509.02971 (2015)."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"crossref","unstructured":"V. Mnih K. Kavukcuoglu D. Silver A. A. Rusu J. Veness M. G. Bellemare A. Graves M. Riedmiller A. K. Fidjeland G. Ostrovski etal 2015. Human-level control through deep reinforcement learning. Nature 518 7540 (2015) 529.  V. Mnih K. Kavukcuoglu D. Silver A. A. Rusu J. Veness M. G. Bellemare A. Graves M. Riedmiller A. K. Fidjeland G. Ostrovski et al. 2015. Human-level control through deep reinforcement learning. Nature 518 7540 (2015) 529.","DOI":"10.1038\/nature14236"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1109\/IVS.2017.7995816"},{"key":"e_1_3_2_1_23_1","volume-title":"Vehicle dynamics and control","author":"Rajamani Rajesh","unstructured":"Rajesh Rajamani . 2011. Vehicle dynamics and control . Springer Science & Business Media . Rajesh Rajamani. 2011. Vehicle dynamics and control. Springer Science & Business Media."},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1109\/WSC.2010.5679166"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"crossref","unstructured":"D. Silver A. Huang C. J. Maddison A. Guez etal 2016. Mastering the game of Go with deep neural networks and tree search. nature 529 7587 (2016) 484.  D. Silver A. Huang C. J. Maddison A. Guez et al. 2016. Mastering the game of Go with deep neural networks and tree search. nature 529 7587 (2016) 484.","DOI":"10.1038\/nature16961"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/3302504.3311802"},{"key":"e_1_3_2_1_27_1","unstructured":"C. Szegedy W. Zaremba I. Sutskever J. Bruna D. Erhan etal 2013. Intriguing properties of neural networks. arXiv preprint arXiv:1312.6199 (2013).  C. Szegedy W. Zaremba I. Sutskever J. Bruna D. Erhan et al. 2013. Intriguing properties of neural networks. arXiv preprint arXiv:1312.6199 (2013)."},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/3358230"},{"key":"e_1_3_2_1_29_1","unstructured":"Shiqi Wang Kexin Pei Justin Whitehouse Junfeng Yang and Suman Jana. 2018. Efficient formal safety analysis of neural networks. In Advances in Neural Information Processing Systems. 6367--6377.  Shiqi Wang Kexin Pei Justin Whitehouse Junfeng Yang and Suman Jana. 2018. Efficient formal safety analysis of neural networks. In Advances in Neural Information Processing Systems. 6367--6377."},{"key":"e_1_3_2_1_30_1","volume-title":"Towards Fast Computation of Certified Robustness for ReLU Networks. In International Conference on Machine Learning. 5273--5282","author":"Weng Tsui-Wei","year":"2018","unstructured":"Tsui-Wei Weng , Huan Zhang , Hongge Chen , Zhao Song , Cho-Jui Hsieh , Luca Daniel , Duane Boning , and Inderjit Dhillon . 2018 . Towards Fast Computation of Certified Robustness for ReLU Networks. In International Conference on Machine Learning. 5273--5282 . Tsui-Wei Weng, Huan Zhang, Hongge Chen, Zhao Song, Cho-Jui Hsieh, Luca Daniel, Duane Boning, and Inderjit Dhillon. 2018. Towards Fast Computation of Certified Robustness for ReLU Networks. In International Conference on Machine Learning. 5273--5282."}],"event":{"name":"HSCC '20: 23rd ACM International Conference on Hybrid Systems: Computation and Control","location":"Sydney New South Wales Australia","acronym":"HSCC '20","sponsor":["SIGBED ACM Special Interest Group on Embedded Systems"]},"container-title":["Proceedings of the 23rd International Conference on Hybrid Systems: Computation and Control"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3365365.3382216","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3365365.3382216","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3365365.3382216","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T17:49:49Z","timestamp":1750268989000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3365365.3382216"}},"subtitle":["verifying the safety of an autonomous racing car with a neural network controller"],"short-title":[],"issued":{"date-parts":[[2020,4,22]]},"references-count":30,"alternative-id":["10.1145\/3365365.3382216","10.1145\/3365365"],"URL":"https:\/\/doi.org\/10.1145\/3365365.3382216","relation":{},"subject":[],"published":{"date-parts":[[2020,4,22]]},"assertion":[{"value":"2020-04-22","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}