Certifying Robustness of Learning-Based Keypoint Detection and Pose Estimation Methods

We formally verify the robustness of learned perception components (keypoint detection and pose estimation) in an aircraft autonomy stack, providing certificates of robustness against adversarial perturbations.