{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,10]],"date-time":"2026-02-10T20:10:23Z","timestamp":1770754223956,"version":"3.50.0"},"publisher-location":"New York, NY, USA","reference-count":23,"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\/100007297","name":"Office of Naval Research","doi-asserted-by":"publisher","award":["N00014-17-1-2504, N00014-20-1-2745"],"award-info":[{"award-number":["N00014-17-1-2504, N00014-20-1-2745"]}],"id":[{"id":"10.13039\/100007297","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100007515","name":"National Science Foundation","doi-asserted-by":"publisher","award":["CNS-1652544"],"award-info":[{"award-number":["CNS-1652544"]}],"id":[{"id":"10.13039\/100007515","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100000181","name":"Air Force Office of Scientific Research","doi-asserted-by":"publisher","award":["FA9550-19-1-0169"],"award-info":[{"award-number":["FA9550-19-1-0169"]}],"id":[{"id":"10.13039\/100000181","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.3382209","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":22,"title":["Statistical verification of learning-based cyber-physical systems"],"prefix":"10.1145","author":[{"given":"Mojtaba","family":"Zarei","sequence":"first","affiliation":[{"name":"Duke University"}]},{"given":"Yu","family":"Wang","sequence":"additional","affiliation":[{"name":"Duke University"}]},{"given":"Miroslav","family":"Pajic","sequence":"additional","affiliation":[{"name":"Duke University"}]}],"member":"320","published-online":{"date-parts":[[2020,4,22]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"[n.d.]. CPS benchmarks. https:\/\/gitlab.oit.duke.edu\/cpsl\/smc_learning_enabled-cps Accessed: 2019-10-23.  [n.d.]. CPS benchmarks. https:\/\/gitlab.oit.duke.edu\/cpsl\/smc_learning_enabled-cps Accessed: 2019-10-23."},{"key":"e_1_3_2_1_2_1","unstructured":"[n.d.]. Reinforcement Learning Toolbox (Bipedal Simulink model). https:\/\/www.mathworks.com\/help\/reinforcement-learning\/ug\/train-biped-robot-to-walk-using-ddpg-agent.html.  [n.d.]. Reinforcement Learning Toolbox (Bipedal Simulink model). https:\/\/www.mathworks.com\/help\/reinforcement-learning\/ug\/train-biped-robot-to-walk-using-ddpg-agent.html."},{"key":"e_1_3_2_1_3_1","unstructured":"R2019a. Bipedal robot. https:\/\/www.mathworks.com\/help\/reinforcement-learning\/ug\/train-biped-robot-to-walk-using-ddpg-agent.html The MathWorks.  R2019a. Bipedal robot. https:\/\/www.mathworks.com\/help\/reinforcement-learning\/ug\/train-biped-robot-to-walk-using-ddpg-agent.html The MathWorks."},{"key":"e_1_3_2_1_4_1","unstructured":"R2019a. Magnet levitation system. https:\/\/www.mathworks.com\/help\/sl3d\/examples\/magnetic-levitation-model.html The MathWorks.  R2019a. Magnet levitation system. https:\/\/www.mathworks.com\/help\/sl3d\/examples\/magnetic-levitation-model.html The MathWorks."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/3158668"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-25540-4_25"},{"key":"e_1_3_2_1_7_1","volume-title":"Systematic testing of convolutional neural networks for autonomous driving. arXiv preprint arXiv:1708.03309","author":"Dreossi Tommaso","year":"2017"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-77935-5_9"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-63387-9_1"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/3302504.3311806"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-63387-9_5"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.5555\/1939399.1939412"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-015-0384-z"},{"key":"e_1_3_2_1_14_1","volume-title":"Continuous control with deep reinforcement learning. arXiv preprint arXiv.1509.02971","author":"Lillicrap Timothy P","year":"2015"},{"key":"e_1_3_2_1_15_1","volume-title":"Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems","author":"Maler Oded"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/3049797.3049804"},{"key":"e_1_3_2_1_17_1","volume-title":"Classification-based approximate reachability with guarantees applied to safe trajectory tracking. arXiv preprint arXiv.1803.03237","author":"Royo Vicenc Rubies","year":"2018"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-27813-9_16"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/3302504.3311802"},{"key":"e_1_3_2_1_20_1","volume-title":"Star-Based Reachability Analysis of Deep Neural Networks. In International Symposium on Formal Methods. Springer, 670--686","author":"Tran Hoang-Dung","year":"2019"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/3195970.3199852"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/3358232","article-title":"Statistical Verification of Hyperproperties for Cyber-Physical Systems","volume":"18","author":"Wang Yu","year":"2019","journal-title":"ACM Transactions on Embedded Computing Systems (TECS)"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/3302504.3311814"}],"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.3382209","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3365365.3382209","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3365365.3382209","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T17:49:48Z","timestamp":1750268988000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3365365.3382209"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,4,22]]},"references-count":23,"alternative-id":["10.1145\/3365365.3382209","10.1145\/3365365"],"URL":"https:\/\/doi.org\/10.1145\/3365365.3382209","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"}}]}}