{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,1]],"date-time":"2026-04-01T03:28:14Z","timestamp":1775014094570,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":40,"publisher":"ACM","license":[{"start":{"date-parts":[[2026,5,21]],"date-time":"2026-05-21T00:00:00Z","timestamp":1779321600000},"content-version":"vor","delay-in-days":380,"URL":"http:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"NSF","award":["1836900"],"award-info":[{"award-number":["1836900"]}]},{"name":"NASA","award":["80NSSC20M0163"],"award-info":[{"award-number":["80NSSC20M0163"]}]},{"DOI":"10.13039\/501100006374","name":"Air Force Research Laboratory","doi-asserted-by":"publisher","award":["FA9453-18-2-0022"],"award-info":[{"award-number":["FA9453-18-2-0022"]}],"id":[{"id":"10.13039\/501100006374","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2025,5,6]]},"DOI":"10.1145\/3716863.3718045","type":"proceedings-article","created":{"date-parts":[[2025,5,21]],"date-time":"2025-05-21T06:20:33Z","timestamp":1747808433000},"page":"1-7","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["SAVER: A Toolbox for SAmpling-Based, Probabilistic VERification of Neural Networks"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-1127-9628","authenticated-orcid":false,"given":"Vignesh","family":"Sivaramakrishnan","sequence":"first","affiliation":[{"name":"University of New Mexico Albuquerque, New Mexico, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-0618-8342","authenticated-orcid":false,"given":"Krishna C.","family":"Kalagarla","sequence":"additional","affiliation":[{"name":"University of New Mexico Albuquerque, New Mexico, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-1913-5637","authenticated-orcid":false,"given":"Rosalyn","family":"Devonport","sequence":"additional","affiliation":[{"name":"University of New Mexico Albuquerque, New Mexico, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-6217-6042","authenticated-orcid":false,"given":"Joshua","family":"Pilipovsky","sequence":"additional","affiliation":[{"name":"Georgia Institute of Technology Atlanta, Georgia, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-7563-4129","authenticated-orcid":false,"given":"Panagiotis","family":"Tsiotras","sequence":"additional","affiliation":[{"name":"Georgia Institute of Technology Atlanta, Georgia, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-3722-8837","authenticated-orcid":false,"given":"Meeko","family":"Oishi","sequence":"additional","affiliation":[{"name":"University of New Mexico Albuquerque, New Mexico, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2025,5,21]]},"reference":[{"key":"e_1_3_2_1_1_1","first-page":"9784","volume-title":"Stable drone landing control using learned dynamics,\" in International Conference on Robotics and Automation (ICRA)","author":"Shi G.","year":"2019","unstructured":"G. Shi, X. Shi, M. O'Connell, R. Yu, K. Azizzadenesheli, A. Anandkumar, Y. Yue, and S.-J. Chung, \"Neural lander: Stable drone landing control using learned dynamics,\" in International Conference on Robotics and Automation (ICRA), 2019, pp. 9784--9790."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1038\/s41586-023-06419-4"},{"key":"e_1_3_2_1_3_1","first-page":"221","volume-title":"Reliability and Security Companion (QRS-C)","author":"Huang Y.","year":"2020","unstructured":"Y. Huang and Y. Chen, \"Survey of state-of-art autonomous driving technologies with deep learning,\" in IEEE 20th International Conference on Software Quality, Reliability and Security Companion (QRS-C), 2020, pp. 221--228."},{"key":"e_1_3_2_1_4_1","first-page":"1","volume-title":"Policy compression for aircraft collision avoidance systems,\" in IEEE\/AIAA 35th 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, \"Policy compression for aircraft collision avoidance systems,\" in IEEE\/AIAA 35th Digital Avionics Systems Conference (DASC), 2016, pp. 1--10."},{"key":"e_1_3_2_1_5_1","first-page":"1","volume-title":"Run-time assurance for learning-based aircraft taxiing,\" in AIAA\/IEEE 39th Digital Avionics Systems Conference (DASC)","author":"Cofer D.","year":"2020","unstructured":"D. Cofer, I. Amundson, R. Sattigeri, A. Passi, C. Boggs, E. Smith, L. Gilham, T. Byun, and S. Rayadurgam, \"Run-time assurance for learning-based aircraft taxiing,\" in AIAA\/IEEE 39th Digital Avionics Systems Conference (DASC), 2020, pp. 1--9."},{"key":"e_1_3_2_1_6_1","first-page":"1145","volume-title":"USA","author":"Wang Q.","year":"2017","unstructured":"Q. Wang, W. Guo, K. Zhang, A. G. Ororbia, X. Xing, X. Liu, and C. L. Giles, \"Adversary resistant deep neural networks with an application to malware detection,\" in Proceedings of the 23rd ACM SIGKDD International Conference on Knowledge Discovery and Data Mining, New York, NY, USA, 2017, p. 1145--1153."},{"key":"e_1_3_2_1_7_1","first-page":"1174","volume-title":"Is ordered weighted l1 regularized regression robust to adversarial perturbation? a case study on oscar,\" in 2018 IEEE Global Conference on Signal and Information Processing (GlobalSIP)","author":"Chen P.-Y.","year":"2018","unstructured":"P.-Y. Chen, B. Vinzamuri, and S. Liu, \"Is ordered weighted l1 regularized regression robust to adversarial perturbation? a case study on oscar,\" in 2018 IEEE Global Conference on Signal and Information Processing (GlobalSIP), 2018, pp. 1174--1178."},{"key":"e_1_3_2_1_8_1","volume-title":"An approach to reachability analysis for feedforward relu neural networks","author":"Lomuscio A.","year":"2017","unstructured":"A. Lomuscio and L. Maganti, \"An approach to reachability analysis for feedforward relu neural networks,\" 2017."},{"key":"e_1_3_2_1_9_1","volume-title":"Measuring neural net robustness with constraints,\" in Proceedings of the 30th International Conference on Neural Information Processing Systems (NeurIPS)","author":"Bastani O.","year":"2016","unstructured":"O. Bastani, Y. Ioannou, L. Lampropoulos, D. Vytiniotis, A. V. Nori, and A. Criminisi, \"Measuring neural net robustness with constraints,\" in Proceedings of the 30th International Conference on Neural Information Processing Systems (NeurIPS). Red Hook, NY, USA: Curran Associates Inc., 2016, p. 2621--2629."},{"key":"e_1_3_2_1_10_1","first-page":"251","volume-title":"Maximum resilience of artificial neural networks,\" in Automated Technology for Verification and Analysis","author":"Cheng C.-H.","year":"2017","unstructured":"C.-H. Cheng, G. N\u00fchrenberg, and H. Ruess, \"Maximum resilience of artificial neural networks,\" in Automated Technology for Verification and Analysis. Cham: Springer International Publishing, 2017, pp. 251--268."},{"key":"e_1_3_2_1_11_1","volume-title":"Evaluating robustness of neural networks with mixed integer programming,\" in International Conference on Learning Representations (ICLR)","author":"Tjeng V.","year":"2019","unstructured":"V. Tjeng, K. Y. Xiao, and R. Tedrake, \"Evaluating robustness of neural networks with mixed integer programming,\" in International Conference on Learning Representations (ICLR), 2019."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.3233\/AIC-2012-0525"},{"key":"e_1_3_2_1_13_1","first-page":"97","volume-title":"Reluplex: An efficient SMT solver for verifying deep neural networks,\" in Computer Aided Verification","author":"Katz G.","year":"2017","unstructured":"G. Katz, C. Barrett, D. L. Dill, K. Julian, and M. J. Kochenderfer, \"Reluplex: An efficient SMT solver for verifying deep neural networks,\" in Computer Aided Verification, R. Majumdar and V. Kun\u010dak, Eds. Cham: Springer International Publishing, 2017, pp. 97--117."},{"key":"e_1_3_2_1_14_1","first-page":"9334","volume-title":"Proceedings of Machine Learning Research","volume":"151","author":"Brown R. A.","year":"2022","unstructured":"R. A. Brown, E. Schmerling, N. Azizan, and M. Pavone, \"A unified view of SDP-based neural network verification through completely positive programming,\" in Proceedings of The 25th International Conference on Artificial Intelligence and Statistics, ser. Proceedings of Machine Learning Research, vol. 151. PMLR, 28--30 Mar 2022, pp. 9334--9355."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2020.3046193"},{"key":"e_1_3_2_1_16_1","first-page":"497","volume-title":"Proceedings of Machine Learning Research","volume":"115","author":"Dvijotham K. D.","year":"2020","unstructured":"K. D. Dvijotham, R. Stanforth, S. Gowal, C. Qin, S. De, and P. Kohli, \"Efficient neural network verification with exactness characterization,\" in Proceedings of The 35th Uncertainty in Artificial Intelligence Conference, ser. Proceedings of Machine Learning Research, vol. 115. PMLR, 22--25 Jul 2020, pp. 497--507."},{"key":"e_1_3_2_1_17_1","first-page":"5318","article-title":"Enabling certification of verification-agnostic networks via memory-efficient semidefinite programming","volume":"33","author":"Dathathri S.","year":"2020","unstructured":"S. Dathathri, K. Dvijotham, A. Kurakin, A. Raghunathan, J. Uesato, R. R. Bunel, S. Shankar, J. Steinhardt, I. Goodfellow, P. S. Liang, and P. Kohli, \"Enabling certification of verification-agnostic networks via memory-efficient semidefinite programming,\" in Advances in Neural Information Processing Systems, vol. 33, 2020, pp. 5318--5331.","journal-title":"Advances in Neural Information Processing Systems"},{"key":"e_1_3_2_1_18_1","volume-title":"Reachable polyhedral marching (RPM): A safety verification algorithm for robotic systems with deep neural network components,\" in IEEE International Conference on Robotics and Automation (ICRA)","author":"Vincent J. A.","year":"2021","unstructured":"J. A. Vincent and M. Schwager, \"Reachable polyhedral marching (RPM): A safety verification algorithm for robotic systems with deep neural network components,\" in IEEE International Conference on Robotics and Automation (ICRA), 2021, p. 9029--9035."},{"key":"e_1_3_2_1_19_1","first-page":"86","volume-title":"Universal adversarial perturbations,\" in 2017 IEEE Conference on Computer Vision and Pattern Recognition (CVPR)","author":"Moosavi-Dezfooli S.-M.","year":"2017","unstructured":"S.-M. Moosavi-Dezfooli, A. Fawzi, O. Fawzi, and P. Frossard, \"Universal adversarial perturbations,\" in 2017 IEEE Conference on Computer Vision and Pattern Recognition (CVPR), 2017, pp. 86--94."},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1109\/TEVC.2019.2890858"},{"key":"e_1_3_2_1_21_1","first-page":"2726","volume-title":"Probabilistic verification and reachability analysis of neural networks via semidefinite programming,\" in 2019 IEEE 58th Conference on Decision and Control (CDC)","author":"Fazlyab M.","year":"2019","unstructured":"M. Fazlyab, M. Morari, and G. J. Pappas, \"Probabilistic verification and reachability analysis of neural networks via semidefinite programming,\" in 2019 IEEE 58th Conference on Decision and Control (CDC), 2019, pp. 2726--2731."},{"key":"e_1_3_2_1_22_1","first-page":"966","volume-title":"Proceedings of Machine Learning Research","volume":"211","author":"Pilipovsky J.","year":"2023","unstructured":"J. Pilipovsky, V. Sivaramakrishnan, M. Oishi, and P. Tsiotras, \"Probabilistic verification of relu neural networks via characteristic functions,\" in Proceedings of The 5th Annual Learning for Dynamics and Control Conference, ser. Proceedings of Machine Learning Research, vol. 211. PMLR, 15--16 Jun 2023, pp. 966--979."},{"key":"e_1_3_2_1_23_1","first-page":"6727","volume-title":"Proceedings of Machine Learning Research","volume":"97","author":"Weng L.","year":"2019","unstructured":"L. Weng, P.-Y. Chen, L. Nguyen, M. Squillante, A. Boopathy, I. Oseledets, and L. Daniel, \"PROVEN: Verifying robustness of neural networks with a probabilistic approach,\" in Proceedings of the 36th International Conference on Machine Learning, ser. Proceedings of Machine Learning Research, vol. 97. PMLR, 09--15 Jun 2019, pp. 6727--6736."},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1609\/aaai.v36i7.20768"},{"key":"e_1_3_2_1_25_1","volume-title":"Probabilistic verification of neural networks using branch and bound","author":"Boetius D.","year":"2024","unstructured":"D. Boetius, S. Leue, and T. Sutter, \"Probabilistic verification of neural networks using branch and bound,\" 2024."},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1109\/TCNS.2022.3199148"},{"key":"e_1_3_2_1_27_1","first-page":"75","volume-title":"Proceedings of Machine Learning Research","volume":"120","author":"Devonport A.","year":"2020","unstructured":"A. Devonport and M. Arcak, \"Estimating reachable sets with scenario optimization,\" in Proceedings of the 2nd Conference on Learning for Dynamics and Control, ser. Proceedings of Machine Learning Research, vol. 120. PMLR, 10--11 Jun 2020, pp. 75--84."},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1214\/aoms\/1177728174"},{"key":"e_1_3_2_1_29_1","first-page":"75","volume-title":"Proceedings of Machine Learning Research, A. M. Bayen, A. Jadbabaie, G. Pappas, P. A. Parrilo, B. Recht, C. Tomlin, and M. Zeilinger, Eds.","volume":"120","author":"Devonport A.","year":"2020","unstructured":"A. Devonport and M. Arcak, \"Estimating reachable sets with scenario optimization,\" in Proceedings of the 2nd Conference on Learning for Dynamics and Control, ser. Proceedings of Machine Learning Research, A. M. Bayen, A. Jadbabaie, G. Pappas, P. A. Parrilo, B. Recht, C. Tomlin, and M. Zeilinger, Eds., vol. 120. PMLR, 10--11 Jun 2020, pp. 75--84."},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2003.814621"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4471-4610-0","volume-title":"Randomized algorithms for analysis and control of uncertain systems: with applications","author":"Tempo R.","year":"2013","unstructured":"R. Tempo, G. Calafiore, F. Dabbene et al., Randomized algorithms for analysis and control of uncertain systems: with applications. Springer, 2013, vol. 7."},{"key":"e_1_3_2_1_32_1","volume-title":"TensorFlow: Large-scale machine learning on heterogeneous systems","author":"Abadi M.","year":"2015","unstructured":"M. Abadi et al., \"TensorFlow: Large-scale machine learning on heterogeneous systems,\" 2015, software available from tensorflow.org. [Online]. Available: https:\/\/www.tensorflow.org\/"},{"key":"e_1_3_2_1_33_1","first-page":"8024","article-title":"PyTorch: an imperative style, high-performance deep learning library,\" in Advances in Neural Information Processing Systems 32. Curran Associates","author":"Paszke A.","year":"2019","unstructured":"A. Paszke et al., \"PyTorch: an imperative style, high-performance deep learning library,\" in Advances in Neural Information Processing Systems 32. Curran Associates, Inc., 2019, pp. 8024--8035.","journal-title":"Inc."},{"key":"e_1_3_2_1_34_1","volume-title":"et al., \"JAX: composable transformations of python numpy programs","author":"J.","year":"2018","unstructured":"J. B. et al., \"JAX: composable transformations of python numpy programs,\" 2018. [Online]. Available: http:\/\/github.com\/jax-ml\/jax"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1038\/s41586-020-2649-2"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1561\/2200000016"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1137\/1.9781611970791"},{"key":"e_1_3_2_1_38_1","volume-title":"Numerical Analysis","author":"Burden R. L.","year":"2016","unstructured":"R. L. Burden, J. D. Faires, and A. M. Burden, Numerical Analysis, 10th ed. Cengage Learning, 2016.","edition":"10"},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1109\/MSP.2012.2211477"},{"key":"e_1_3_2_1_40_1","volume-title":"NASA ULI aircraft taxi dataset","author":"Katz S. M.","year":"2021","unstructured":"S. M. Katz, A. Corso, S. Chinchali, A. Elhafsi, A. Sharma, M. J. Kochenderfer, and M. Pavone, \"NASA ULI aircraft taxi dataset,\" 2021. [Online]. Available: https:\/\/purl.stanford.edu\/zz143mb4347"}],"event":{"name":"HSCC '25: Computation and Control","location":"Irvine CA USA","acronym":"HSCC '25","sponsor":["SIGBED ACM Special Interest Group on Embedded Systems"]},"container-title":["Proceedings of the 28th ACM International Conference on Hybrid Systems: Computation and Control"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3716863.3718045","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3716863.3718045","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3716863.3718045","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,9,4]],"date-time":"2025-09-04T13:47:08Z","timestamp":1756993628000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3716863.3718045"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,5,6]]},"references-count":40,"alternative-id":["10.1145\/3716863.3718045","10.1145\/3716863"],"URL":"https:\/\/doi.org\/10.1145\/3716863.3718045","relation":{},"subject":[],"published":{"date-parts":[[2025,5,6]]},"assertion":[{"value":"2025-05-21","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}