{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,23]],"date-time":"2026-07-23T20:15:14Z","timestamp":1784837714135,"version":"3.55.0"},"reference-count":60,"publisher":"Association for Computing Machinery (ACM)","issue":"2","license":[{"start":{"date-parts":[[2025,4,26]],"date-time":"2025-04-26T00:00:00Z","timestamp":1745625600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"funder":[{"DOI":"10.13039\/100000003","name":"The Boeing Company","doi-asserted-by":"crossref","award":["2023-BRT-PA-003"],"award-info":[{"award-number":["2023-BRT-PA-003"]}],"id":[{"id":"10.13039\/100000003","id-type":"DOI","asserted-by":"crossref"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["ACM Trans. Cyber-Phys. Syst."],"published-print":{"date-parts":[[2025,4,30]]},"abstract":"<jats:p>This work addresses the certification of the local robustness of vision-based two-stage 6D object pose estimation. The two-stage method for object pose estimation achieves superior accuracy over the single-stage approach by first employing deep neural network-driven keypoint regression and then applying a Perspective-n-Point (PnP) technique. Despite advancements, the certification of these methods\u2019 robustness, especially in safety-critical scenarios, remains scarce. This research aims to fill this gap with a focus on their local robustness on the system level\u2014the capacity to maintain robust estimations amidst semantic input perturbations. The core idea is to transform the certification of local robustness into a process of neural network verification for classification tasks. The challenge is to develop model, input, and output specifications that align with off-the-shelf verification tools. To facilitate verification, we modify the keypoint detection model by substituting non-linear operations with those more amenable to the verification processes. Instead of merely injecting random noise into images, as is common, we employ a convex hull representation of images as input specifications to more accurately depict semantic perturbations. Furthermore, by conducting a sensitivity analysis, we propagate the robustness criteria from pose estimation to keypoint accuracy, and then formulating an optimal error threshold allocation problem that allows for the setting of a maximally permissible keypoint deviation thresholds. Viewing each pixel as an individual class, these thresholds result in linear, classification-akin output specifications. Under certain conditions, we demonstrate that the main components of our certification framework are both sound and complete, and validate its effects through extensive evaluations on realistic perturbations. To our knowledge, this is the first study to certify the robustness of large-scale, keypoint-based pose estimation given images in real-world scenarios.<\/jats:p>","DOI":"10.1145\/3728362","type":"journal-article","created":{"date-parts":[[2025,4,7]],"date-time":"2025-04-07T17:45:44Z","timestamp":1744047944000},"page":"1-26","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":3,"title":["Certifying Robustness of Learning-Based Keypoint Detection and Pose Estimation Methods"],"prefix":"10.1145","volume":"9","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-4342-7234","authenticated-orcid":false,"given":"Xusheng","family":"Luo","sequence":"first","affiliation":[{"name":"Carnegie Mellon University, Pittsburgh, Pennsylvania, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-2505-4585","authenticated-orcid":false,"given":"Tianhao","family":"Wei","sequence":"additional","affiliation":[{"name":"Carnegie Mellon University, Pittsburgh, Pennsylvania, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0009-0009-1495-6920","authenticated-orcid":false,"given":"Simin","family":"Liu","sequence":"additional","affiliation":[{"name":"Carnegie Mellon University, Pittsburgh, Pennsylvania, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-9225-8495","authenticated-orcid":false,"given":"Ziwei","family":"Wang","sequence":"additional","affiliation":[{"name":"Carnegie Mellon University, Pittsburgh, Pennsylvania, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0009-0009-2670-6849","authenticated-orcid":false,"given":"Luis","family":"Mattei-Mendez","sequence":"additional","affiliation":[{"name":"The Boeing Company, Seattle, Washington, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0009-0009-8116-5328","authenticated-orcid":false,"given":"Taylor","family":"Loper","sequence":"additional","affiliation":[{"name":"The Boeing Company, Seattle, Washington, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0009-0005-9059-2488","authenticated-orcid":false,"given":"Joshua","family":"Neighbor","sequence":"additional","affiliation":[{"name":"The Boeing Company, Seattle, Washington, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0009-0005-2969-0951","authenticated-orcid":false,"given":"Casidhe","family":"Hutchison","sequence":"additional","affiliation":[{"name":"Carnegie Mellon University, Pittsburgh, Pennsylvania, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-3767-5517","authenticated-orcid":false,"given":"Changliu","family":"Liu","sequence":"additional","affiliation":[{"name":"Carnegie Mellon University, Pittsburgh, Pennsylvania, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2025,4,26]]},"reference":[{"key":"e_1_3_2_2_2","doi-asserted-by":"publisher","DOI":"10.1145\/3622875"},{"key":"e_1_3_2_3_2","first-page":"66","volume-title":"Proceedings of the 32nd International Conference on Computer Aided Verification (CAV \u201920), Part I","author":"Bak Stanley","year":"2020","unstructured":"Stanley Bak, Hoang-Dung Tran, Kerianne Hobbs, and Taylor T. Johnson. 2020. Improved geometric path enumeration for verifying ReLU neural networks. In Proceedings of the 32nd International Conference on Computer Aided Verification (CAV \u201920), Part I. Springer, 66\u201396."},{"key":"e_1_3_2_4_2","article-title":"Measuring neural net robustness with constraints","author":"Bastani Osbert","year":"2016","unstructured":"Osbert Bastani, Yani Ioannou, Leonidas Lampropoulos, Dimitrios Vytiniotis, Aditya Nori, and Antonio Criminisi. 2016. Measuring neural net robustness with constraints. In Proceedings of the Advances in Neural Information Processing Systems 29.","journal-title":"Proceedings of the Advances in Neural Information Processing Systems 29"},{"key":"e_1_3_2_5_2","unstructured":"Mehdi Behroozi. 2019. Largest inscribed rectangles in geometric convex sets. arXiv:1905.13246. Retrieved from https:\/\/arxiv.org\/abs\/1905.13246"},{"key":"e_1_3_2_6_2","unstructured":"Christopher Brix Stanley Bak Changliu Liu and Taylor T. Johnson. 2023. The fourth international verification of neural networks competition (VNN-COMP 2023): Summary and results. arXiv:2312.16760. Retrieved from https:\/\/arxiv.org\/abs\/2312.16760"},{"key":"e_1_3_2_7_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.ress.2008.03.010"},{"key":"e_1_3_2_8_2","first-page":"1640","volume-title":"Proceedings of the 2020 Design, Automation & Test in Europe Conference and Exhibition (DATE)","author":"Cheng Chih-Hong","year":"2020","unstructured":"Chih-Hong Cheng, Chung-Hao Huang, Thomas Brunner, and Vahid Hashemi. 2020. Towards safety verification of direct perception neural networks. In Proceedings of the 2020 Design, Automation & Test in Europe Conference and Exhibition (DATE). IEEE, 1640\u20131643."},{"key":"e_1_3_2_9_2","doi-asserted-by":"publisher","DOI":"10.1177\/0278364911401765"},{"key":"e_1_3_2_10_2","doi-asserted-by":"crossref","first-page":"3665","DOI":"10.1109\/ICRA40945.2020.9196714","volume-title":"Proceedings of the 2020 IEEE International Conference on Robotics and Automation (ICRA)","author":"Deng Xinke","year":"2020","unstructured":"Xinke Deng, Yu Xiang, Arsalan Mousavian, Clemens Eppner, Timothy Bretl, and Dieter Fox. 2020. Self-supervised 6D object pose estimation for robot manipulation. In Proceedings of the 2020 IEEE International Conference on Robotics and Automation (ICRA). IEEE, 3665\u20133671."},{"key":"e_1_3_2_11_2","doi-asserted-by":"publisher","DOI":"10.1109\/ICCV48922.2021.01217"},{"key":"e_1_3_2_12_2","doi-asserted-by":"crossref","unstructured":"Hai Duong Dong Xu ThanhVu Nguyen and Matthew B. Dwyer. 2024. Harnessing neuron stability to improve DNN verification. arXiv:2401.14412. Retrieved from https:\/\/arxiv.org\/abs\/2401.14412","DOI":"10.1145\/3643765"},{"key":"e_1_3_2_13_2","doi-asserted-by":"publisher","DOI":"10.1145\/3302504.3311807"},{"key":"e_1_3_2_14_2","doi-asserted-by":"publisher","DOI":"10.1109\/CDC45484.2021.9683154"},{"issue":"4","key":"e_1_3_2_15_2","first-page":"1","article-title":"Deep learning on monocular object pose detection and tracking: A comprehensive overview","volume":"55","author":"Fan Zhaoxin","year":"2022","unstructured":"Zhaoxin Fan, Yazhi Zhu, Yulin He, Qi Sun, Hongyan Liu, and Jun He. 2022. Deep learning on monocular object pose detection and tracking: A comprehensive overview. ACM Computing Surveys 55, 4 (2022), 1\u201340.","journal-title":"ACM Computing Surveys"},{"key":"e_1_3_2_16_2","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1109\/SP.2018.00058","volume-title":"Proceedings of the 2018 IEEE Symposium on Security and Privacy (SP)","author":"Gehr Timon","year":"2018","unstructured":"Timon Gehr, Matthew Mirman, Dana Drachsler-Cohen, Petar Tsankov, Swarat Chaudhuri, and Martin Vechev. 2018. Ai2: Safety and robustness certification of neural networks with abstract interpretation. In Proceedings of the 2018 IEEE Symposium on Security and Privacy (SP). IEEE, 3\u201318."},{"key":"e_1_3_2_17_2","doi-asserted-by":"publisher","DOI":"10.1109\/CVPR46437.2021.00302"},{"key":"e_1_3_2_18_2","unstructured":"Hikami3150. 2024. Boeing 777-300ER Model. 3D Model. Retrieved from https:\/\/sketchfab.com\/3d-models\/boeing-777-300er-model-322e7961d2024bba834887878d2d49a2"},{"key":"e_1_3_2_19_2","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2022.3197508"},{"key":"e_1_3_2_20_2","volume-title":"Proceedings of the ICML Workshop on Formal Verification of Machine Learning (WFVML)","author":"Hu Hanjiang","year":"2023","unstructured":"Hanjiang Hu, Changliu Liu, and Ding Zhao. 2023. Robustness verification for perception models against camera motion perturbations. In Proceedings of the ICML Workshop on Formal Verification of Machine Learning (WFVML)."},{"key":"e_1_3_2_21_2","doi-asserted-by":"crossref","first-page":"249","DOI":"10.1007\/978-3-030-81685-8_11","volume-title":"Proceedings of the International Conference on Computer Aided Verification","author":"Ivanov Radoslav","year":"2021","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 Proceedings of the International Conference on Computer Aided Verification. Springer, 249\u2013262."},{"key":"e_1_3_2_22_2","doi-asserted-by":"publisher","DOI":"10.1145\/3365365.3382216"},{"key":"e_1_3_2_23_2","doi-asserted-by":"publisher","DOI":"10.1145\/3477023"},{"key":"e_1_3_2_24_2","doi-asserted-by":"crossref","first-page":"443","DOI":"10.1007\/978-3-030-25540-4_26","volume-title":"Proceedings of the 31st International Conference on Computer Aided Verification (CAV \u201919), Part I","author":"Katz Guy","year":"2019","unstructured":"Guy Katz, Derek A. Huang, Duligur Ibeling, Kyle Julian, Christopher Lazarus, Rachel Lim, Parth Shah, Shantanu Thakoor, Haoze Wu, Aleksandar Zelji\u0107, et al. 2019. The Marabou framework for verification and analysis of deep neural networks. In Proceedings of the 31st International Conference on Computer Aided Verification (CAV \u201919), Part I. Springer, 443\u2013452."},{"key":"e_1_3_2_25_2","doi-asserted-by":"publisher","DOI":"10.2514\/1.I011071"},{"key":"e_1_3_2_26_2","doi-asserted-by":"publisher","DOI":"10.1109\/ICCV.2017.169"},{"key":"e_1_3_2_27_2","first-page":"757","volume-title":"Proceedings of the International Conference on Principles of Knowledge Representation and Reasoning","volume":"19","author":"Kouvaros Panagiotis","year":"2023","unstructured":"Panagiotis Kouvaros, Francesco Leofante, Blake Edwards, Calvin Chung, Dragos Margineantu, and Alessio Lomuscio. 2023. Verification of semantic key point detection for aircraft pose estimation. In Proceedings of the International Conference on Principles of Knowledge Representation and Reasoning, Vol. 19, 757\u2013762."},{"key":"e_1_3_2_28_2","first-page":"14022","volume-title":"Proceedings of the IEEE\/CVF International Conference on Computer Vision","author":"Lian Ruyi","year":"2023","unstructured":"Ruyi Lian and Haibin Ling. 2023. CheckerPose: Progressive dense keypoint localization for object pose estimation with graph neural network. In Proceedings of the IEEE\/CVF International Conference on Computer Vision, 14022\u201314033."},{"key":"e_1_3_2_29_2","doi-asserted-by":"publisher","DOI":"10.1561\/2400000035"},{"key":"e_1_3_2_30_2","unstructured":"Jian Liu Wei Sun Hui Yang Zhiwen Zeng Chongpei Liu Jin Zheng Xingyu Liu Hossein Rahmani Nicu Sebe and Ajmal Mian. 2024. Deep learning-based object pose estimation: A comprehensive survey. arXiv:2405.07801. Retrieved from https:\/\/arxiv.org\/abs\/2405.07801"},{"key":"e_1_3_2_31_2","unstructured":"Aiden Nibali Zhen He Stuart Morgan and Luke Prendergast. 2018. Numerical coordinate regression with convolutional neural networks. arXiv:1801.07372. Retrieved from https:\/\/arxiv.org\/abs\/1801.07372"},{"key":"e_1_3_2_32_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-01267-0_8"},{"key":"e_1_3_2_33_2","doi-asserted-by":"publisher","DOI":"10.1109\/ICCV.2019.00776"},{"key":"e_1_3_2_34_2","doi-asserted-by":"publisher","DOI":"10.1109\/CVPR.2019.00469"},{"key":"e_1_3_2_35_2","doi-asserted-by":"publisher","DOI":"10.1109\/CVPR.2018.00465"},{"key":"e_1_3_2_36_2","doi-asserted-by":"publisher","DOI":"10.1109\/ICCV.2017.413"},{"key":"e_1_3_2_37_2","doi-asserted-by":"crossref","first-page":"213","DOI":"10.1007\/978-3-031-06773-0_11","volume-title":"Proceedings of the NASA Formal Methods Symposium","author":"Cruz Ulices Santa","year":"2022","unstructured":"Ulices Santa Cruz and Yasser Shoukry. 2022. NNLander-Verif: A neural network formal verification framework for vision-based autonomous aircraft landing. In Proceedings of the NASA Formal Methods Symposium. Springer, 213\u2013230."},{"key":"e_1_3_2_38_2","doi-asserted-by":"crossref","first-page":"6052","DOI":"10.1109\/CDC49753.2023.10384107","volume-title":"Proceedings of the 2023 62nd IEEE Conference on Decision and Control (CDC)","author":"Cruz Ulices Santa","year":"2023","unstructured":"Ulices Santa Cruz and Yasser Shoukry. 2023. Certified vision-based state estimation for autonomous landing systems using reachability analysis. In Proceedings of the 2023 62nd IEEE Conference on Decision and Control (CDC). IEEE, 6052\u20136057."},{"key":"e_1_3_2_39_2","unstructured":"Jingnan Shi Rajat Talak Dominic Maggio and Luca Carlone. 2023. A correct-and-certify approach to self-supervise object pose estimators via ensemble self-training. arXiv:2302.06019. Retrieved from https:\/\/arxiv.org\/abs\/2302.06019"},{"issue":"11","key":"e_1_3_2_40_2","doi-asserted-by":"crossref","first-page":"7417","DOI":"10.1109\/TPAMI.2021.3118833","article-title":"DPODv2: Dense correspondence-based 6 DoF pose estimation","volume":"44","author":"Shugurov Ivan","year":"2021","unstructured":"Ivan Shugurov, Sergey Zakharov, and Slobodan Ilic. 2021. DPODv2: Dense correspondence-based 6 DoF pose estimation. IEEE Transactions on Pattern Analysis and Machine Intelligence 44, 11 (2021), 7417\u20137435.","journal-title":"IEEE Transactions on Pattern Analysis and Machine Intelligence"},{"key":"e_1_3_2_41_2","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA46639.2022.9811866"},{"key":"e_1_3_2_42_2","doi-asserted-by":"publisher","DOI":"10.1145\/3302504.3311802"},{"key":"e_1_3_2_43_2","first-page":"2805","volume-title":"IEEE Transactions on Robotics","volume":"39","author":"Talak Rajat","year":"2023","unstructured":"Rajat Talak, Lisa R. Peng, and Luca Carlone. 2023. Certifiable object pose estimation: Foundations, learning models, and self-training. IEEE Transactions on Robotics 39, 4 (2023), 2805\u20132824."},{"issue":"9","key":"e_1_3_2_44_2","doi-asserted-by":"crossref","first-page":"2887","DOI":"10.1109\/TCSVT.2019.2950449","article-title":"3D mapping and 6D pose computation for real time augmented reality on cylindrical objects","volume":"30","author":"Tang Fulin","year":"2019","unstructured":"Fulin Tang, Yihong Wu, Xiaohui Hou, and Haibin Ling. 2019. 3D mapping and 6D pose computation for real time augmented reality on cylindrical objects. IEEE Transactions on Circuits and Systems for Video Technology 30, 9 (2019), 2887\u20132899.","journal-title":"IEEE Transactions on Circuits and Systems for Video Technology"},{"key":"e_1_3_2_45_2","doi-asserted-by":"crossref","unstructured":"Stefan Thalhammer Dominik Bauer Peter H\u00f6nig Jean-Baptiste Weibel Jos\u00e9 Garc\u00eda-Rodr\u00edguez and Markus Vincze. 2023. Challenges for monocular 6D object pose estimation in robotics. arXiv:2307.12172. Retrieved from https:\/\/arxiv.org\/abs\/2307.12172","DOI":"10.1109\/TRO.2024.3433870"},{"key":"e_1_3_2_46_2","volume-title":"Proceedings of the International Conference on Learning Representations","author":"Tjeng Vincent","year":"2018","unstructured":"Vincent Tjeng, Kai Y. Xiao, and Russ Tedrake. 2018. Evaluating robustness of neural networks with mixed integer programming. In Proceedings of the International Conference on Learning Representations."},{"key":"e_1_3_2_47_2","doi-asserted-by":"crossref","first-page":"18","DOI":"10.1007\/978-3-030-53288-8_2","volume-title":"Proceedings of the International Conference on Computer Aided Verification","author":"Tran Hoang-Dung","year":"2020","unstructured":"Hoang-Dung Tran, Stanley Bak, Weiming Xiang, and Taylor T. Johnson. 2020. Verification of deep convolutional neural networks using ImageStars. In Proceedings of the International Conference on Computer Aided Verification. Springer, 18\u201342."},{"key":"e_1_3_2_48_2","doi-asserted-by":"publisher","DOI":"10.1145\/3358230"},{"key":"e_1_3_2_49_2","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1007\/978-3-030-53288-8_1","volume-title":"Proceedings of the International Conference on Computer Aided Verification","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 Proceedings of the International Conference on Computer Aided Verification. Springer, 3\u201317."},{"key":"e_1_3_2_50_2","first-page":"1","volume-title":"Proceedings of the 37th IEEE\/ACM International Conference on Automated Software Engineering","author":"Stein Meriel von","year":"2022","unstructured":"Meriel von Stein and Sebastian Elbaum. 2022. Finding property violations through network falsification: Challenges, adaptations and lessons learned from OpenPilot. In Proceedings of the 37th IEEE\/ACM International Conference on Automated Software Engineering, 1\u20135."},{"key":"e_1_3_2_51_2","doi-asserted-by":"publisher","DOI":"10.1109\/CVPR.2019.00275"},{"key":"e_1_3_2_52_2","first-page":"29909","article-title":"Beta-CROWN: Efficient bound propagation with per-neuron split constraints for neural network robustness verification","author":"Wang Shiqi","year":"2021","unstructured":"Shiqi Wang, Huan Zhang, Kaidi Xu, Xue Lin, Suman Jana, Cho-Jui Hsieh, and J. Zico Kolter. 2021. Beta-CROWN: Efficient bound propagation with per-neuron split constraints for neural network robustness verification. In Proceedings of the Advances in Neural Information Processing Systems 34, 29909\u201329921.","journal-title":"Proceedings of the Advances in Neural Information Processing Systems 34"},{"key":"e_1_3_2_53_2","first-page":"6853","volume-title":"Proceedings of the 26th International Conference on Artificial Intelligence and Statistics","author":"Wei Dennis","year":"2023","unstructured":"Dennis Wei, Haoze Wu, Min Wu, Pin-Yu Chen, Clark Barrett, and Eitan Farchi. 2023. Convex bounds on the softmax function with applications to robustness verification. In Proceedings of the 26th International Conference on Artificial Intelligence and Statistics. Francisco Ruiz, Jennifer Dy, and Jan-Willem van de Meent (Eds.), Proceedings of Machine Learning Research, Vol. 206, PMLR, 6853\u20136878. Retrieved from https:\/\/proceedings.mlr.press\/v206\/wei23c.html"},{"key":"e_1_3_2_54_2","unstructured":"Tianhao Wei Luca Marzari Kai S. Yun Hanjiang Hu Peizhi Niu Xusheng Luo and Changliu Liu. 2024. ModelVerification.jl: A comprehensive toolbox for formally verifying deep neural networks. arXiv:2407.01639. Retrieved from https:\/\/arxiv.org\/abs\/2407.01639"},{"key":"e_1_3_2_55_2","unstructured":"Haoze Wu Omri Isac Aleksandar Zelji\u0107 Teruhiro Tagomori Matthew Daggitt Wen Kokke Idan Refaeli Guy Amir Kyle Julian Shahaf Bassan et al. 2024. Marabou 2.0: A versatile formal analyzer of neural networks. arXiv:2401.14461. Retrieved from https:\/\/arxiv.org\/abs\/2401.14461"},{"key":"e_1_3_2_56_2","unstructured":"Kira Wursthorn Markus Hillemann and Markus Ulrich. 2024. Uncertainty quantification with deep ensembles for 6D object pose estimation. arXiv:2403.07741. Retrieved from https:\/\/arxiv.org\/abs\/2403.07741"},{"key":"e_1_3_2_57_2","doi-asserted-by":"publisher","DOI":"10.1109\/TNNLS.2018.2808470"},{"key":"e_1_3_2_58_2","volume-title":"Proceedings of the International Conference on Learning Representations","author":"Xu Kaidi","year":"2020","unstructured":"Kaidi Xu, Huan Zhang, Shiqi Wang, Yihan Wang, Suman Jana, Xue Lin, and Cho-Jui Hsieh. 2020. Fast and complete: Enabling complete neural network verification with rapid and massively parallel incomplete verifiers. In Proceedings of the International Conference on Learning Representations."},{"key":"e_1_3_2_59_2","first-page":"8947","volume-title":"Proceedings of the IEEE\/CVF Conference on Computer Vision and Pattern Recognition","author":"Yang Heng","year":"2023","unstructured":"Heng Yang and Marco Pavone. 2023. Object pose estimation with statistical guarantees: Conformal keypoint detection and geometric uncertainty propagation. In Proceedings of the IEEE\/CVF Conference on Computer Vision and Pattern Recognition, 8947\u20138958."},{"key":"e_1_3_2_60_2","doi-asserted-by":"publisher","DOI":"10.1145\/3603618"},{"key":"e_1_3_2_61_2","doi-asserted-by":"publisher","DOI":"10.1109\/CVPR52729.2023.01646"}],"container-title":["ACM Transactions on Cyber-Physical Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3728362","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3728362","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T01:18:36Z","timestamp":1750295916000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3728362"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,4,26]]},"references-count":60,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2025,4,30]]}},"alternative-id":["10.1145\/3728362"],"URL":"https:\/\/doi.org\/10.1145\/3728362","relation":{},"ISSN":["2378-962X","2378-9638"],"issn-type":[{"value":"2378-962X","type":"print"},{"value":"2378-9638","type":"electronic"}],"subject":[],"published":{"date-parts":[[2025,4,26]]},"assertion":[{"value":"2024-07-29","order":0,"name":"received","label":"Received","group":{"name":"publication_history","label":"Publication History"}},{"value":"2025-03-25","order":2,"name":"accepted","label":"Accepted","group":{"name":"publication_history","label":"Publication History"}},{"value":"2025-04-26","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}