{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,30]],"date-time":"2024-10-30T03:28:25Z","timestamp":1730258905896,"version":"3.28.0"},"reference-count":22,"publisher":"IEEE","license":[{"start":{"date-parts":[[2022,11,23]],"date-time":"2022-11-23T00:00:00Z","timestamp":1669161600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2022,11,23]],"date-time":"2022-11-23T00:00:00Z","timestamp":1669161600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2022,11,23]]},"DOI":"10.1109\/icsrs56243.2022.10067329","type":"proceedings-article","created":{"date-parts":[[2023,3,21]],"date-time":"2023-03-21T19:48:19Z","timestamp":1679428099000},"page":"300-309","source":"Crossref","is-referenced-by-count":0,"title":["PAC-Based Formal Verification for Out-of-Distribution Data Detection"],"prefix":"10.1109","author":[{"given":"Mohit","family":"Prashant","sequence":"first","affiliation":[{"name":"School of Computer Science and Engineering NTU,Singapore"}]},{"given":"Arvind","family":"Easwaran","sequence":"additional","affiliation":[{"name":"School of Computer Science and Engineering NTU,Singapore"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1016\/0890-5401(89)90002-3"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.15607\/RSS.2022.XVIII.042"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.3390\/make2040031"},{"article-title":"Safe Nonlinear Control Using Robust Neural Lyapunov-Barrier Functions","volume-title":"5th Annual Conference on Robot Learning","author":"Dawson","key":"ref4"},{"key":"ref5","first-page":"1101","article-title":"Probably Approximately Correct Learning","volume":"2","author":"Haussler","year":"1990","journal-title":"AAAI-90 Proceedings"},{"article-title":"Autoencoding Variational Bayes","volume-title":"International Conference on Learning Representations","author":"Kingma","key":"ref6"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/SPW50608.2020.00050"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/ICCPS48487.2020.00024"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.18653\/v1\/P17-3010"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1145\/3365365.3382222"},{"key":"ref11","article-title":"Generalized Out-of-Distribution Detection: A Survey","author":"Yang","year":"2021","journal-title":"Available on arXiv: Computer Vision and Pattern Recognition"},{"article-title":"Probably Approximately Correct Constrained Learning","volume-title":"Proceedings of the 34th International Conference on Neural Information Processing Systems","author":"Chamon","key":"ref12"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1145\/1968.1972"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4419-1428-6_5323"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1007\/s10957-010-9754-6"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1137\/07069821X"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1007\/s10994-013-5355-6"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-06649-8"},{"article-title":"PAC Confidence Sets for Deep Neural Networks via Calibrated Prediction","volume-title":"International Conference on Learning Representations 2020","author":"Park","key":"ref19"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/ticps.9984155"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/IJCNN.2016.7727309"},{"article-title":"Probably Approximate Safety Verification of Hybrid Dynamical Systems","volume-title":"Proceedings of 21st International Conference on Formal Engineering Methods","author":"Bai","key":"ref22"}],"event":{"name":"2022 6th International Conference on System Reliability and Safety (ICSRS)","start":{"date-parts":[[2022,11,23]]},"location":"Venice, Italy","end":{"date-parts":[[2022,11,25]]}},"container-title":["2022 6th International Conference on System Reliability and Safety (ICSRS)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/10067250\/10067256\/10067329.pdf?arnumber=10067329","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,3,3]],"date-time":"2024-03-03T04:43:58Z","timestamp":1709441038000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10067329\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,11,23]]},"references-count":22,"URL":"https:\/\/doi.org\/10.1109\/icsrs56243.2022.10067329","relation":{},"subject":[],"published":{"date-parts":[[2022,11,23]]}}}