Cover Image

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

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Luo, Xusheng, Wei, Tianhao, Liu, Simin, Wang, Ziwei, Mattei-Mendez, Luis, Loper, Taylor, Neighbor, Joshua, Hutchison, Casidhe, Liu, Changliu
Format:	Preprint
Published:	2024
Subjects:	Computer Vision and Pattern Recognition Machine Learning Robotics Systems and Control
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

From Decoupled to Coupled: Robustness Verification for Learning-based Keypoint Detection with Joint Specifications
by: Luo, Xusheng, et al.
Published: (2026)

Enhancing Certifiable Semantic Robustness via Robust Pruning of Deep Neural Networks
by: Hu, Hanjiang, et al.
Published: (2025)

Synthesis and verification of robust-adaptive safe controllers
by: Liu, Simin, et al.
Published: (2023)

Verification of Neural Control Barrier Functions with Symbolic Derivative Bounds Propagation
by: Hu, Hanjiang, et al.
Published: (2024)

Simultaneous Task Allocation and Planning for Multi-Robots under Hierarchical Temporal Logic Specifications
by: Luo, Xusheng, et al.
Published: (2024)

Meta-Control: Automatic Model-based Control Synthesis for Heterogeneous Robot Skills
by: Wei, Tianhao, et al.
Published: (2024)

Hierarchical Temporal Logic Task and Motion Planning for Multi-Robot Systems
by: Wei, Zhongqi, et al.
Published: (2025)

Approximately Optimal Global Planning for Contact-Rich SE(2) Manipulation on a Graph of Reachable Sets
by: Liu, Simin, et al.
Published: (2026)

Decomposition-based Hierarchical Task Allocation and Planning for Multi-Robots under Hierarchical Temporal Logic Specifications
by: Luo, Xusheng, et al.
Published: (2023)

Real-Time Safe Control of Neural Network Dynamic Models with Sound Approximation
by: Hu, Hanjiang, et al.
Published: (2024)

Safe PDE Boundary Control with Neural Operators
by: Hu, Hanjiang, et al.
Published: (2024)

Multimodal Safe Control for Human-Robot Interaction
by: Pandya, Ravi, et al.
Published: (2023)

Robust Co-Design of Canonical Underactuated Systems for Increased Certifiable Stability
by: Girlanda, Federico, et al.
Published: (2024)

Safe Control of Quadruped in Varying Dynamics via Safety Index Adaptation
by: Yun, Kai S., et al.
Published: (2024)

Emergent Neural Automaton Policies: Learning Symbolic Structure from Visuomotor Trajectories
by: Pan, Yiyuan, et al.
Published: (2026)

Estimating Neural Network Robustness via Lipschitz Constant and Architecture Sensitivity
by: Abuduweili, Abulikemu, et al.
Published: (2024)

MK-Pose: Category-Level Object Pose Estimation via Multimodal-Based Keypoint Learning
by: Yang, Yifan, et al.
Published: (2025)

Full-Pose Tracking via Robust Control for Over-Actuated Multirotors
by: Hachem, Mohamad, et al.
Published: (2025)

Fast and Certifiable Trajectory Optimization
by: Kang, Shucheng, et al.
Published: (2024)

Pose, Velocity and Landmark Position Estimation Using IMU and Bearing Measurements
by: Wang, Miaomiao, et al.
Published: (2024)

Pose Estimation of a Thruster-Driven Bioinspired Multi-Link Robot
by: Andrews, Nicholas B., et al.
Published: (2025)

Neural Robust Control on Lie Groups Using Contraction Methods (Extended Version)
by: Lo, Yi Lok, et al.
Published: (2026)

StableLego: Stability Analysis of Block Stacking Assembly
by: Liu, Ruixuan, et al.
Published: (2024)

Relative Pose-Velocity Estimation Using Dual IMU Measurements and Relative Position Sensing
by: Melis, Alessandro, et al.
Published: (2026)

Enhancing the Performance of DeepReach on High-Dimensional Systems through Optimizing Activation Functions
by: Wang, Qian, et al.
Published: (2023)

Online and Certifiably Correct Visual Odometry and Mapping
by: Agrawal, Devansh R, et al.
Published: (2024)

A Geometric Approach For Pose and Velocity Estimation Using IMU and Inertial/Body-Frame Measurements
by: Benahmed, Sifeddine, et al.
Published: (2025)

Finite-time Stable Pose Estimation on TSE(3) using Point Cloud and Velocity Sensors
by: Hashkavaei, Nazanin S., et al.
Published: (2026)

SPARK: Safe Protective and Assistive Robot Kit
by: Sun, Yifan, et al.
Published: (2025)

Learning Human-to-Humanoid Real-Time Whole-Body Teleoperation
by: He, Tairan, et al.
Published: (2024)

Surface-Constrained Offline Warping with Contact-Aware Online Pose Projection for Safe Robotic Trajectory Execution
by: Wang, Farong, et al.
Published: (2026)

Formal Synthesis of Certifiably Robust Neural Lyapunov-Barrier Certificates
by: Wang, Chengxiao, et al.
Published: (2026)

TinySDP: Real Time Semidefinite Optimization for Certifiable and Agile Edge Robotics
by: Mahajan, Ishaan, et al.
Published: (2026)

Certifiably Optimal Doppler Positioning using Opportunistic LEO Satellites
by: Song, Baoshan, et al.
Published: (2025)

Certifiably-Correct Mapping for Safe Navigation Despite Odometry Drift
by: Agrawal, Devansh R., et al.
Published: (2025)

Moving Horizon Estimation for Simultaneous Localization and Mapping with Robust Estimation Error Bounds
by: Trisovic, Jelena, et al.
Published: (2024)

Robust Safety Critical Control Under Multiple State and Input Constraints: Volume Control Barrier Function Method
by: Dong, Jinyang, et al.
Published: (2025)

Fully Onboard AI-powered Human-Drone Pose Estimation on Ultra-low Power Autonomous Flying Nano-UAVs
by: Palossi, Daniele, et al.
Published: (2021)

ContractionPPO: Certified Reinforcement Learning via Differentiable Contraction Layers
by: Zinage, Vrushabh, et al.
Published: (2026)

Contingency-Aware Planning via Certified Neural Hamilton-Jacobi Reachability
by: Muenprasitivej, Kasidit, et al.
Published: (2026)