Co-occurring keywords · papers mentioning both
Papers
Deep QP Safety Filter: Model-free Learning for Reachability-based Safety Filter
L4DC 2026
How to Train Your Latent Control Barrier Function: Smooth Safety Filtering Under Hard-to-Model Constraints
L4DC 2026
Robust Verification of Controllers under State Uncertainty via Hamilton-Jacobi Reachability Analysis
L4DC 2026
Safe Control using Learned Safety Filters and Adaptive Conformal Inference
L4DC 2026
Scalable Synthesis of Formally Verified Neural Value Function for Hamilton-Jacobi Reachability Analysis (Abstract Reprint)
AAAI 2026
Residual Neural Terminal Constraint for MPC-based Collision Avoidance in Dynamic Environments
CoRL 2025
Safe Learning in the Real World via Adaptive Shielding with Hamilton-Jacobi Reachability
L4DC 2025
Sim-to-Lab-to-Real: Safe Reinforcement Learning with Shielding and Generalization Guarantees (Abstract Reprint)
AAAI 2024
Solving Minimum-Cost Reach Avoid using Reinforcement Learning
NeurIPS 2024
Generating Robust Supervision for Learning-Based Visual Navigation Using Hamilton-Jacobi Reachability
L4DC 2020