← Back to papers

2024 CORL CoRL 2024

Verification of Neural Control Barrier Functions with Symbolic Derivative Bounds Propagation

Authors

Hanjiang Hu , Yujie Yang , Tianhao Wei , Changliu Liu

Related papers

RoboKoop: Efficient Control Conditioned Representations from Visual Input in Robotics using Koopman Operator 2024

Modeling Drivers’ Situational Awareness from Eye Gaze for Driving Assistance 2024

Modeling the Real World with High-Density Visual Particle Dynamics 2024

Generative Image as Action Models 2024

TOP-Nav: Legged Navigation Integrating Terrain, Obstacle and Proprioception Estimation 2024