Login / Signup

Scalable Synthesis of Formally Verified Neural Value Function for Hamilton-Jacobi Reachability Analysis.

Yujie YangHanjiang HuTianhao WeiShengbo Eben LiChangliu Liu
Published in: CoRR (2024)
Keyphrases
  • reachability analysis
  • hamilton jacobi
  • markov decision processes
  • finite difference
  • state space
  • timed automata
  • partial differential equations
  • incremental algorithms