Certifying Robustness of Learning-Based Keypoint Detection and Pose Estimation Methods. - Xusheng Luo; Tianhao Wei; Simin Liu; Ziwei Wang 001; Luis Mattei-Mendez; Taylor Loper; Joshua Neighbor; Casidhe Hutchison; Changliu Liu (ACM Trans. Cyber Phys. Syst., 2025)