Hamilton-jacobi reachability in reinforcement learning: A survey
Recent literature has proposed approaches that learn control policies with high performance
while maintaining safety guarantees. Synthesizing Hamilton-Jacobi (HJ) reachable sets has …
while maintaining safety guarantees. Synthesizing Hamilton-Jacobi (HJ) reachable sets has …
Scalable synthesis of formally verified neural value function for hamilton-jacobi reachability analysis
Hamilton-Jacobi (HJ) reachability analysis provides a formal method for guaranteeing safety
in constrained control problems. It synthesizes a value function to represent a long-term safe …
in constrained control problems. It synthesizes a value function to represent a long-term safe …
A high-speed method for computing reachable sets based on variable-size grid
W Liao, M Tang, Y Zhang, T Liang - ISA transactions, 2025 - Elsevier
In this paper, we improve the dynamic programming based reachable set computation
method by replacing the constant size grid in the original method with a variable size grid …
method by replacing the constant size grid in the original method with a variable size grid …
Hamilton-Jacobi Reachability Estimation in Reinforcement Learning
M Ganai - 2024 - search.proquest.com
Recent literature has proposed approaches that learn control policies with high performance
while maintaining safety guarantees. Synthesizing Hamilton-Jacobi (HJ) reachable sets has …
while maintaining safety guarantees. Synthesizing Hamilton-Jacobi (HJ) reachable sets has …