Login / Signup
Scalable Synthesis of Formally Verified Neural Value Function for Hamilton-Jacobi Reachability Analysis.
Yujie Yang
Hanjiang Hu
Tianhao Wei
Shengbo Eben Li
Changliu Liu
Published in:
CoRR (2024)
Keyphrases
</>
reachability analysis
hamilton jacobi
markov decision processes
finite difference
state space
timed automata
partial differential equations
incremental algorithms