conftrace_

hamilton-jacobi reachability

4 papers

Explore in graph

Also known as

HJ

Co-occurring keywords

policy learning (702) cost minimization (7) safe control (24) quadrupedal robot (16) reachability analysis (35) waypoint prediction (10) policy shielding (1) reach avoid (1) minimum-cost optimization (1) reach-avoid problem (2)

Papers

Scalable Synthesis of Formally Verified Neural Value Function for Hamilton-Jacobi Reachability Analysis (Abstract Reprint) AAAI 2026
Solving Minimum-Cost Reach Avoid using Reinforcement Learning NIPS 2024
Sim-to-Lab-to-Real: Safe Reinforcement Learning with Shielding and Generalization Guarantees (Abstract Reprint) AAAI 2024
Generating Robust Supervision for Learning-Based Visual Navigation Using Hamilton-Jacobi Reachability L4DC 2020