arXiv Machine Learning
ConDR: Conservative Reachability through Neural Hamilton-Jacobi Subsolutions
Read the original on arXiv Machine Learning →The Flow has not summarised this story yet — read it at arXiv Machine Learning.
Related stories
arXiv Machine Learning
Oct 21
Learning Reachability-Based Safety Representations for Real-Time Robot Navigation in Unknown and Dynamic Environments
arXiv:2610.16522v2 Announce Type: replace-cross Abstract: Safe robot navigation in unknown, dynamic environments requires more than geometric collision checking: a robot still far from an obstacle ma...
arXiv Machine Learning
Oct 21
Enumeration-Guided Training of Neural Hamilton-Jacobi Safety Certificates
arXiv:2610.27870v1 Announce Type: cross Abstract: Hamilton-Jacobi (HJ) reachability analysis offers formal safety guarantees for control systems, but training accurate neural certificates remains dif...
arXiv Machine Learning
Sep 24
LEAP-CBF: A Safety Filter for Uncertain Systems with Least-Effort Adversarial Potentials
The paper introduces LEAP-CBF, a safety filter that uses Least‑Effort Adversarial Potentials to quantify how much disturbance effort is needed to cause failure in nonlinear dynamical systems. LEAP serves as a control barrier function for the undisturbed system and can be combined with a robust safety filter that tolerates disturbances with bounded cumulative effort. The authors develop a deep reinforcement learning method to construct LEAPs and validate their effectiveness through simulations of multi‑agent systems and hardware experiments on a quadruped and quadrotors.
arXiv AI
Sep 10
Collision Snapshot Guided Time-Reversed Safety-Critical Scenario Generation
arXiv:2609.06433v1 Announce Type: cross Abstract: The generation of safety-critical traffic scenarios is essential for training and evaluating autonomous vehicles. Prior approaches typically perturb...
arXiv AI
Oct 5
Safe and Robust Neural Policy Learning with Statistical Verification for Sim-to-Real Deployment in Robotics
arXiv:2608.06481v2 Announce Type: replace-cross Abstract: Synthesizing safe and robust neural controllers in simulation for reliable sim-to-real deployment remains a critical challenge in robotics. E...
arXiv Machine Learning
Oct 9
FAITH: Feasibility-Aware Safety-Filtered RL for High-Dimensional Systems
FAITH is a model‑free reinforcement learning framework that separates safety from task performance by using a learned safety filter. The filter approximates the optimal state‑action safety value with a feedforward network, allowing the task policy to optimize return through filtered dynamics without a competing safety term. Experiments on a double integrator, Safety Gym, a 29‑DoF humanoid, and a real Unitree G1 show that FAITH achieves high returns while maintaining near‑perfect safety and handling infeasible starts gracefully.