{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,11]],"date-time":"2025-09-11T17:41:31Z","timestamp":1757612491851,"version":"3.44.0"},"publisher-location":"New York, NY, USA","reference-count":77,"publisher":"ACM","license":[{"start":{"date-parts":[[2025,5,6]],"date-time":"2025-05-06T00:00:00Z","timestamp":1746489600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"Army Research Office, National Science Foundation","award":["ARO-MURI W911NF-20-1-0080,NSF 2143274, NSF CCF 2403758"],"award-info":[{"award-number":["ARO-MURI W911NF-20-1-0080,NSF 2143274, NSF CCF 2403758"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2025,5,6]]},"DOI":"10.1145\/3716863.3718040","type":"proceedings-article","created":{"date-parts":[[2025,5,21]],"date-time":"2025-05-21T06:20:33Z","timestamp":1747808433000},"page":"1-12","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Distributionally Robust Statistical Verification with Imprecise Neural Networks"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-2706-2095","authenticated-orcid":false,"given":"Souradeep","family":"Dutta","sequence":"first","affiliation":[{"name":"University of British Columbia, Canada"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-7569-097X","authenticated-orcid":false,"given":"Michele","family":"Caprio","sequence":"additional","affiliation":[{"name":"University of Manchester, UK"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-8621-4864","authenticated-orcid":false,"given":"Vivian","family":"Lin","sequence":"additional","affiliation":[{"name":"University of Pennsylvania, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-3671-5297","authenticated-orcid":false,"given":"Matthew","family":"Cleaveland","sequence":"additional","affiliation":[{"name":"University of Pennsylvania, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-3134-3220","authenticated-orcid":false,"given":"Kuk Jin","family":"Jang","sequence":"additional","affiliation":[{"name":"University of Pennsylvania, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-3546-414X","authenticated-orcid":false,"given":"Ivan","family":"Ruchkin","sequence":"additional","affiliation":[{"name":"University of Florida, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-5282-0658","authenticated-orcid":false,"given":"Oleg","family":"Sokolsky","sequence":"additional","affiliation":[{"name":"University of Pennsylvania, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-2672-1132","authenticated-orcid":false,"given":"Insup","family":"Lee","sequence":"additional","affiliation":[{"name":"University of Pennsylvania, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2025,5,21]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1080\/03081070500396915"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2022.111275"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10514-013-9334-3"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-59152-6_5"},{"key":"e_1_3_2_1_5_1","volume-title":"Tomlin","author":"Bansal Somil","year":"2018","unstructured":"Somil Bansal, Shromona Ghosh, Alberto Sangiovanni-Vincentelli, Sanjit A. Seshia, and Claire J. Tomlin. 2018. Context-Specific Validation of Data-Driven Models. arXiv:1802.04929[cs] (Feb. 2018). http:\/\/arxiv.org\/abs\/1802.04929 arXiv:1802.04929."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","unstructured":"Greg Brockman Vicki Cheung Ludwig Pettersson Jonas Schneider John Schulman Jie Tang and Wojciech Zaremba. 2016. OpenAI Gym. https:\/\/doi.org\/10.48550\/arXiv.1606.01540 arXiv:1606.01540 [cs].","DOI":"10.48550\/arXiv.1606.01540"},{"key":"e_1_3_2_1_7_1","volume-title":"King","author":"Burbidge Robert","year":"2007","unstructured":"Robert Burbidge, Jem J. Rowland, and Ross D. King. 2007. Active Learning for Regression Based on Query by Committee. In Intelligent Data Engineering and Automated Learning - IDEAL 2007, Hujun Yin, Peter Tino, Emilio Corchado, Will Byrne, and Xin Yao (Eds.). Springer Berlin Heidelberg, Berlin, Heidelberg, 209--218."},{"volume-title":"Runtime Verification","author":"Cairoli Francesca","key":"e_1_3_2_1_8_1","unstructured":"Francesca Cairoli, Luca Bortolussi, and Nicola Paoletti. 2021. Neural Predictive Monitoring Under Partial Observability. In Runtime Verification, Lu Feng and Dana Fisman (Eds.). Springer International Publishing, Cham, 121--141."},{"key":"e_1_3_2_1_9_1","volume-title":"Imprecise Bayesian Neural Networks. Submitted to AAAI 2023","author":"Caprio Michele","year":"2022","unstructured":"Michele Caprio, Souradeep Dutta, Radoslav Ivanov, Kuk Jang, Vivian Lin, Oleg Sokolsky, and Insup Lee. 2022. Imprecise Bayesian Neural Networks. Submitted to AAAI 2023 (2022)."},{"key":"e_1_3_2_1_10_1","volume-title":"A Novel Bayes' Theorem for Upper Probabilities. Available at arXiv:2307.06831","author":"Caprio Michele","year":"2023","unstructured":"Michele Caprio, Yusuf Sale, Eyke H\u00fcllermeier, and Insup Lee. 2023. A Novel Bayes' Theorem for Upper Probabilities. Available at arXiv:2307.06831 (2023)."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"crossref","unstructured":"Luca Cardelli Marta Kwiatkowska Luca Laurenti Nicola Paoletti Andrea Patane and Matthew Wicker. 2019. Statistical Guarantees for the Robustness of Bayesian Neural Networks. (2019) 5693--5700. https:\/\/www.ijcai.org\/proceedings\/2019\/789","DOI":"10.24963\/ijcai.2019\/789"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1109\/CDC45484.2021.9683743"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1109\/LRA.2023.3258719"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.artint.2022.103782"},{"key":"e_1_3_2_1_15_1","volume-title":"Imprecise highest density regions related to intervals of measures. Memorandum COSOR 9254","author":"Coolen Frank P. A.","year":"1992","unstructured":"Frank P. A. Coolen. 1992. Imprecise highest density regions related to intervals of measures. Memorandum COSOR 9254 (1992)."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1613\/jair.1.12716"},{"key":"e_1_3_2_1_17_1","volume-title":"An Evidential Neural Network Model for Regression Based on Random Fuzzy Numbers. Available at arXiv:2208.00647","author":"Denoeux Thierry","year":"2022","unstructured":"Thierry Denoeux. 2022. An Evidential Neural Network Model for Regression Based on Random Fuzzy Numbers. Available at arXiv:2208.00647 (2022)."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.3233\/AIC-220127"},{"key":"e_1_3_2_1_19_1","volume-title":"Seshia","author":"Dreossi Tommaso","year":"2019","unstructured":"Tommaso Dreossi, Daniel J. Fremont, Shromona Ghosh, Edward Kim, Hadi Ravanbakhsh, Marcell Vazquez-Chanlatte, and Sanjit A. Seshia. 2019. VERIFAI: A Toolkit for the Design and Analysis of Artificial Intelligence-Based Systems. arXiv:1902.04245 [cs] (Feb. 2019). http:\/\/arxiv.org\/abs\/1902.04245 arXiv: 1902.04245."},{"key":"e_1_3_2_1_20_1","volume-title":"VOS: Learning What You Don't Know by Virtual Outlier Synthesis. https:\/\/openreview.net\/forum?id=TW7d65uYu5M","author":"Du Xuefeng","year":"2022","unstructured":"Xuefeng Du, Zhaoning Wang, Mu Cai, and Yixuan Li. 2022. VOS: Learning What You Don't Know by Virtual Outlier Synthesis. https:\/\/openreview.net\/forum?id=TW7d65uYu5M"},{"key":"e_1_3_2_1_21_1","volume-title":"Ivan Ruchkin, Oleg Sokolsky, and Insup Lee.","author":"Dutta Souradeep","year":"2023","unstructured":"Souradeep Dutta, Michele Caprio, Vivian Lin, Matthew Cleaveland, Kuk Jin Jang, Ivan Ruchkin, Oleg Sokolsky, and Insup Lee. 2023. Distributionally Robust Statistical Verification with Imprecise Neural Networks. arXiv:2308.14815 [cs.AI] https:\/\/arxiv.org\/abs\/2308.14815"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/3302504.3313351"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/3302504.3311807"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-77935-5_9"},{"volume-title":"Output Range Analysis for Deep Feedforward Neural Networks","author":"Dutta Souradeep","key":"e_1_3_2_1_25_1","unstructured":"Souradeep Dutta, Susmit Jha, Sriram Sankaranarayanan, and Ashish Tiwari. 2018. Output Range Analysis for Deep Feedforward Neural Networks. In NASA Formal Methods, Aaron Dutle, C\u00e9sar Mu\u00f1oz, and Anthony Narkawicz (Eds.). Springer International Publishing, Cham, 121--138."},{"key":"e_1_3_2_1_26_1","unstructured":"Yizhak Yisrael Elboher Justin Gottschlich and Guy Katz. 2019. An Abstraction-Based Framework for Neural Network Verification. http:\/\/arxiv.org\/abs\/1910.14574 arXiv: 1910.14574."},{"key":"e_1_3_2_1_27_1","volume-title":"Proceedings of the 5th Conference on Robot Learning. PMLR, 970--980","author":"Farid Alec","year":"2022","unstructured":"Alec Farid, Sushant Veer, and Anirudha Majumdar. 2022. Task-Driven Out-of-Distribution Detection with Statistical Guarantees for Robot Learning. In Proceedings of the 5th Conference on Robot Learning. PMLR, 970--980. https:\/\/proceedings.mlr.press\/v164\/farid22a.html ISSN: 2640--3498."},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICASSP.2018.8462520"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1109\/CDC40024.2019.9029310"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2018.00058"},{"key":"e_1_3_2_1_31_1","first-page":"1660","article-title":"Adaptive conformal inference under distribution shift","volume":"34","author":"Gibbs Isaac","year":"2021","unstructured":"Isaac Gibbs and Emmanuel Candes. 2021. Adaptive conformal inference under distribution shift. Advances in Neural Information Processing Systems 34 (2021), 1660--1672.","journal-title":"Advances in Neural Information Processing Systems"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1214\/19-STS765"},{"key":"e_1_3_2_1_33_1","volume-title":"Proceedings of the 34th International Conference on Machine Learning -","volume":"70","author":"Guo Chuan","unstructured":"Chuan Guo, Geoff Pleiss, Yu Sun, and Kilian Q. Weinberger. 2017. On calibration of modern neural networks. In Proceedings of the 34th International Conference on Machine Learning - Volume 70 (ICML'17). JMLR.org, Sydney, NSW, Australia, 1321--1330."},{"key":"e_1_3_2_1_34_1","volume-title":"Distributionfree binary classification: prediction sets, confidence intervals and calibration. arXiv:2006.10564 [cs, math, stat] (Feb","author":"Gupta Chirag","year":"2022","unstructured":"Chirag Gupta, Aleksandr Podkopaev, and Aaditya Ramdas. 2022. Distributionfree binary classification: prediction sets, confidence intervals and calibration. arXiv:2006.10564 [cs, math, stat] (Feb. 2022). http:\/\/arxiv.org\/abs\/2006.10564 arXiv: 2006.10564."},{"key":"e_1_3_2_1_35_1","volume-title":"Ronchetti","author":"Huber Peter J.","year":"2009","unstructured":"Peter J. Huber and Elvezio M. Ronchetti. 2009. Robust statistics (2nd ed.). Hoboken, New Jersey: Wiley.","edition":"2"},{"volume-title":"Computer Aided Verification","author":"Ivanov Radoslav","key":"e_1_3_2_1_36_1","unstructured":"Radoslav Ivanov, Taylor Carpenter, James Weimer, Rajeev Alur, George Pappas, and Insup Lee. 2021. Verisig 2.0: Verification of Neural Network Controllers Using Taylor Model Preconditioning. In Computer Aided Verification. Springer International Publishing, Cham, 249--262."},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.ijar.2017.10.010"},{"key":"e_1_3_2_1_38_1","volume-title":"Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks. arXiv:1702.01135 [cs] (Feb.","author":"Katz Guy","year":"2017","unstructured":"Guy Katz, Clark Barrett, David Dill, Kyle Julian, and Mykel Kochenderfer. 2017. Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks. arXiv:1702.01135 [cs] (Feb. 2017). http:\/\/arxiv.org\/abs\/1702.01135 arXiv: 1702.01135."},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1145\/3575870.3587129"},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.5555\/3295222.3295387"},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-45231-8_10"},{"key":"e_1_3_2_1_42_1","volume-title":"Proceedings of The 4th Annual Learning for Dynamics and Control Conference (Proceedings of Machine Learning Research","volume":"1099","author":"Lew Thomas","year":"2022","unstructured":"Thomas Lew, Lucas Janson, Riccardo Bonalli, and Marco Pavone. 2022. A Simple and Efficient Sampling-based Algorithm for General Reachability Analysis. In Proceedings of The 4th Annual Learning for Dynamics and Control Conference (Proceedings of Machine Learning Research, Vol. 168), Roya Firoozi, Negar Mehr, Esen Yel, Rika Antonova, Jeannette Bohg, Mac Schwager, and Mykel Kochenderfer (Eds.). PMLR, 1086--1099. https:\/\/proceedings.mlr.press\/v168\/lew22a.html"},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1109\/TNNLS.2019.2957109"},{"volume-title":"Algorithmic Foundations of Robotics XV, Steven M. LaValle, Jason M. O'Kane","author":"Luo Rachel","key":"e_1_3_2_1_44_1","unstructured":"Rachel Luo, Shengjia Zhao, Jonathan Kuck, Boris Ivanovic, Silvio Savarese, Edward Schmerling, and Marco Pavone. 2023. Sample-Efficient Safety Assurances Using Conformal Prediction. In Algorithmic Foundations of Robotics XV, Steven M. LaValle, Jason M. O'Kane, Michael Otte, Dorsa Sadigh, and Pratap Tokekar (Eds.). Springer International Publishing, Cham, 149--169."},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1109\/CVPRW63382.2024.00777"},{"key":"e_1_3_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.1080\/01621459.2023.2298037"},{"key":"e_1_3_2_1_47_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA40945.2020.9196844"},{"key":"e_1_3_2_1_48_1","volume-title":"Advances in Neural Information Processing Systems","volume":"34","author":"Minderer Matthias","year":"2021","unstructured":"Matthias Minderer, Josip Djolonga, Rob Romijnders, Frances Hubis, Xiaohua Zhai, Neil Houlsby, Dustin Tran, and Mario Lucic. 2021. Revisiting the Calibration of Modern Neural Networks. In Advances in Neural Information Processing Systems, Vol. 34. Curran Associates, Inc., 15682--15694."},{"volume-title":"Verifying Cyber-Physical Systems: A Path to Safe Autonomy","author":"Mitra Sayan","key":"e_1_3_2_1_49_1","unstructured":"Sayan Mitra. 2021. Verifying Cyber-Physical Systems: A Path to Safe Autonomy. The MIT Press, Cambridge, Massachusetts."},{"key":"e_1_3_2_1_50_1","doi-asserted-by":"publisher","DOI":"10.48550\/arXiv.2305.02449"},{"key":"e_1_3_2_1_51_1","doi-asserted-by":"crossref","unstructured":"Anish Muthali Haotian Shen Sampada Deglurkar Michael H. Lim Rebecca Roelofs Aleksandra Faust and Claire Tomlin. 2023. Multi-Agent Reachability Calibration with Conformal Prediction. arXiv:2304.00432 [eess.SY]","DOI":"10.1109\/CDC49753.2023.10383723"},{"key":"e_1_3_2_1_52_1","volume-title":"Interval Neural Networks: Uncertainty Scores. ArXiv abs\/2003.11566","author":"Oala Luis","year":"2020","unstructured":"Luis Oala, Cosmas Hei\u00df, Jan MacDonald, Maximilian M\u00e4rz, Wojciech Samek, and Gitta Kutyniok. 2020. Interval Neural Networks: Uncertainty Scores. ArXiv abs\/2003.11566 (2020)."},{"key":"e_1_3_2_1_53_1","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-36755-1_29"},{"key":"e_1_3_2_1_54_1","unstructured":"Sangdon Park Shuo Li Osbert Bastani and I. Lee. 2021. PAC Confidence Predictions for Deep Neural Network Classifiers. ICLR (2021)."},{"key":"e_1_3_2_1_55_1","doi-asserted-by":"publisher","DOI":"10.1109\/IROS47612.2022.9982243"},{"key":"e_1_3_2_1_56_1","doi-asserted-by":"publisher","DOI":"10.1145\/3635160"},{"key":"e_1_3_2_1_57_1","volume-title":"Proc. of ICCPS'22","author":"Qin Xin","year":"2021","unstructured":"Xin Qin, Yuan Xian, Aditya Zutshi, Chuchu Fan, and Jyotirmoy Deshmukh. 2021. Statistical Verification of Autonomous Systems using Surrogate Models and Conformal Inference. In Proc. of ICCPS'22. http:\/\/arxiv.org\/abs\/2004.00279 arXiv: 2004.00279."},{"key":"e_1_3_2_1_58_1","volume-title":"Williams","author":"Rasmussen Carl Edward","year":"2005","unstructured":"Carl Edward Rasmussen and Christopher K. I. Williams. 2005. Gaussian Processes for Machine Learning. The MIT Press, Cambridge, Mass."},{"key":"e_1_3_2_1_59_1","doi-asserted-by":"publisher","DOI":"10.1145\/3503914"},{"key":"e_1_3_2_1_60_1","volume-title":"A Tutorial on Conformal Prediction. J. Mach. Learn. Res. 9 (June","author":"Shafer Glenn","year":"2008","unstructured":"Glenn Shafer and Vladimir Vovk. 2008. A Tutorial on Conformal Prediction. J. Mach. Learn. Res. 9 (June 2008), 371--421. http:\/\/dl.acm.org\/citation.cfm?id=1390681.1390693"},{"key":"e_1_3_2_1_61_1","first-page":"1","article-title":"OVERT: an algorithm for safety verification of neural network control policies for nonlinear systems","volume":"23","author":"Sidrane Chelsea","year":"2022","unstructured":"Chelsea Sidrane, Amir Maleki, Ahmed Irfan, and Mykel J. Kochenderfer. 2022. OVERT: an algorithm for safety verification of neural network control policies for nonlinear systems. The Journal of Machine Learning Research 23, 1 (Jan. 2022), 117:5090--117:5134.","journal-title":"The Journal of Machine Learning Research"},{"key":"e_1_3_2_1_62_1","unstructured":"Rohan Sinha Apoorva Sharma Somrita Banerjee Thomas Lew Rachel Luo Spencer M Richards Yixiao Sun Edward Schmerling and Marco Pavone. 2022. A System-Level View on Out-of-Distribution Data in Robotics."},{"key":"e_1_3_2_1_63_1","doi-asserted-by":"publisher","DOI":"10.1137\/1.9781611973228"},{"key":"e_1_3_2_1_64_1","doi-asserted-by":"publisher","DOI":"10.1145\/3510457.3513049"},{"key":"e_1_3_2_1_65_1","volume-title":"Introduction to Uncertainty Quantification","year":"2015","unstructured":"Sullivan. 2015. Introduction to Uncertainty Quantification (1st ed. 2015 edition ed.). Springer, New York, NY.","edition":"1"},{"key":"e_1_3_2_1_66_1","volume-title":"Patrick Musau, Luan Viet Nguyen, Weiming Xiang, Stanley Bak, and Taylor T. Johnson.","author":"Tran Hoang-Dung","year":"2020","unstructured":"Hoang-Dung Tran, Xiaodong Yang, Diego Manzanas Lopez, Patrick Musau, Luan Viet Nguyen, Weiming Xiang, Stanley Bak, and Taylor T. Johnson. 2020. NNV: The Neural Network Verification Tool for Deep Neural Networks and Learning-Enabled Cyber-Physical Systems. In Computer Aided Verification."},{"key":"e_1_3_2_1_67_1","volume-title":"Troffaes and Gert de Cooman","author":"Matthias","year":"2014","unstructured":"Matthias C.M. Troffaes and Gert de Cooman. 2014. Lower Previsions. Chichester, United Kingdom: John Wiley and Sons."},{"volume-title":"Algorithmic Learning in a Random World (2005 edition ed.)","author":"Vovk Vladimir","key":"e_1_3_2_1_68_1","unstructured":"Vladimir Vovk, Alex Gammerman, and Glenn Shafer. 2005. Algorithmic Learning in a Random World (2005 edition ed.). Springer, New York."},{"volume-title":"Statistical Reasoning with Imprecise Probabilities. Monographs on Statistics and Applied Probability","author":"Walley Peter","key":"e_1_3_2_1_69_1","unstructured":"Peter Walley. 1991. Statistical Reasoning with Imprecise Probabilities. Monographs on Statistics and Applied Probability, Vol. 42. London: Chapman and Hall."},{"key":"e_1_3_2_1_70_1","doi-asserted-by":"publisher","DOI":"10.1145\/3450267.3450534"},{"key":"e_1_3_2_1_71_1","volume-title":"Recent methodological advances in robust Bayesian inference. Bayesian statistics 4","author":"Wasserman Larry","year":"1992","unstructured":"Larry Wasserman. 1992. Recent methodological advances in robust Bayesian inference. Bayesian statistics 4 (1992), 483--502."},{"key":"e_1_3_2_1_72_1","doi-asserted-by":"publisher","DOI":"10.1214\/aos\/1176347752"},{"key":"e_1_3_2_1_73_1","volume-title":"Proceedings of the 36th Conference on Uncertainty in Artificial Intelligence (UAI). PMLR, 1198--1207","author":"Wicker Matthew","year":"2020","unstructured":"Matthew Wicker, Luca Laurenti, Andrea Patane, and Marta Kwiatkowska. 2020. Probabilistic Safety for Bayesian Neural Networks. In Proceedings of the 36th Conference on Uncertainty in Artificial Intelligence (UAI). PMLR, 1198--1207. https:\/\/proceedings.mlr.press\/v124\/wicker20a.html ISSN: 2640--3498."},{"key":"e_1_3_2_1_74_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10107-021-01673-8"},{"key":"e_1_3_2_1_75_1","doi-asserted-by":"publisher","DOI":"10.1145\/3365365.3382209"},{"key":"e_1_3_2_1_76_1","doi-asserted-by":"publisher","DOI":"10.1145\/3365365.3382209"},{"key":"e_1_3_2_1_77_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2022.3194640"}],"event":{"name":"HSCC '25: Computation and Control","sponsor":["SIGBED ACM Special Interest Group on Embedded Systems"],"location":"Irvine CA USA","acronym":"HSCC '25"},"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.3718040","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3716863.3718040","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,9,4]],"date-time":"2025-09-04T13:47:18Z","timestamp":1756993638000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3716863.3718040"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,5,6]]},"references-count":77,"alternative-id":["10.1145\/3716863.3718040","10.1145\/3716863"],"URL":"https:\/\/doi.org\/10.1145\/3716863.3718040","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"}}]}}