{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,24]],"date-time":"2026-06-24T06:05:43Z","timestamp":1782281143335,"version":"3.54.5"},"reference-count":24,"publisher":"IEEE","license":[{"start":{"date-parts":[[2026,5,11]],"date-time":"2026-05-11T00:00:00Z","timestamp":1778457600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2026,5,11]],"date-time":"2026-05-11T00:00:00Z","timestamp":1778457600000},"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":[[2026,5,11]]},"DOI":"10.1109\/iccps68698.2026.00031","type":"proceedings-article","created":{"date-parts":[[2026,6,23]],"date-time":"2026-06-23T19:43:46Z","timestamp":1782243826000},"page":"242-252","source":"Crossref","is-referenced-by-count":0,"title":["Certified geometric robustness - Super-Deepg"],"prefix":"10.1109","author":[{"given":"No\u00e9mie","family":"Cohen","sequence":"first","affiliation":[{"name":"Onera\/Airbus,France"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"M\u00e9lanie","family":"Ducoffe","sequence":"additional","affiliation":[{"name":"Airbus,France"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Timoth\u00e9e","family":"Fayard","sequence":"additional","affiliation":[{"name":"Onera,France"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Christophe","family":"Gabreau","sequence":"additional","affiliation":[{"name":"Onera\/Airbus,France"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Claire","family":"Pagetti","sequence":"additional","affiliation":[{"name":"Onera,France"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Xavier","family":"Pucel","sequence":"additional","affiliation":[{"name":"Onera,France"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"ref1","volume-title":"Introduction to Optimization","author":"Goel","year":"2008"},{"issue":"2019","key":"ref2","article-title":"Certifying geometric robustness of neural networks","volume":"32","author":"Balunovic","year":"2019","journal-title":"Advances in Neural Information Processing Systems"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.3233\/FAIA240761"},{"key":"ref4","volume-title":"Introduction to linear optimization","volume":"6","author":"Tsitsiklis","year":"1997"},{"key":"ref5","article-title":"LARD 2.0: Enhanced Datasets and Benchmarking for Autonomous Landing Systems","volume-title":"13th European Congress of Embedded Real Time Systems (ERTS)","author":"Bougacha"},{"key":"ref6","article-title":"The fifth international verification of neural networks competition (vnn-comp 2024): Summary and results","author":"Brix","year":"2024","journal-title":"arXiv preprint arXiv:2412.19985"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1145\/512950.512973"},{"key":"ref8","first-page":"3340","article-title":"Scalable certified segmentation via randomized smoothing","volume-title":"International Conference on Machine Learning","author":"Fischer"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2018.00058"},{"key":"ref10","volume-title":"Introduction to operations research","author":"Lieberman","year":"2015"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-25540-4_26"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1145\/3460120.3485258"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1561\/2400000035"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/TDSC.2022.3179131"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/CVPR42600.2020.00032"},{"issue":"2011","key":"ref16","article-title":"Optimistic optimization of a deterministic function without the knowledge of its smoothness","volume":"24","author":"Munos R\u00e9mi","year":"2011","journal-title":"Advances in neural information processing systems"},{"key":"ref17","article-title":"ERAN User Manual","author":"Singh","year":"2020","journal-title":"ETH Z\u00fcrich"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1145\/3290354"},{"key":"ref19","article-title":"A review of formal methods applied to machine learning","author":"Min\u00e9","year":"2021","journal-title":"arXiv preprint arXiv:2104.02466"},{"issue":"2020","key":"ref20","first-page":"1129","article-title":"Automatic perturbation analysis for scalable certified robustness and beyond","volume":"33","author":"Xu","year":"2020","journal-title":"Advances in Neural Information Processing Systems"},{"key":"ref21","article-title":"Provable defense against geometric transformations","author":"Yang","year":"2022","journal-title":"arXiv preprint arXiv:2207.11177"},{"key":"ref22","volume-title":"VNN-COMP 2024 TinyImageNet Benchmark","author":"Zhang Huan","year":"2024"},{"issue":"2018","key":"ref23","article-title":"Efficient neural network robustness certification with general activation functions","volume":"31","author":"Zhang","year":"2018","journal-title":"Advances in neural information processing systems"},{"key":"ref24","article-title":"Scalable Neural Network Geometric Robustness Validation via H\u00f6lder Optimisation","volume-title":"The Thirty-ninth Annual Conference on Neural Information Processing Systems","author":"Zhang"}],"event":{"name":"2026 ACM\/IEEE 17th International Conference on Cyber-Physical Systems (ICCPS)","location":"Saint Malo, France","start":{"date-parts":[[2026,5,11]]},"end":{"date-parts":[[2026,5,14]]}},"container-title":["2026 ACM\/IEEE 17th International Conference on Cyber-Physical Systems (ICCPS)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/11570664\/11570679\/11570716.pdf?arnumber=11570716","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,6,24]],"date-time":"2026-06-24T05:29:16Z","timestamp":1782278956000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/11570716\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026,5,11]]},"references-count":24,"URL":"https:\/\/doi.org\/10.1109\/iccps68698.2026.00031","relation":{},"subject":[],"published":{"date-parts":[[2026,5,11]]}}}