@misc{indiciaee00a548041eb,
  title = {Scalable Synthesis of Formally Verified Neural Value Function for Hamilton-Jacobi Reachability Analysis},
  author = {Yujie Yang and Hanjiang Hu and Tianhao Wei and Shengbo Eben Li and Changliu Liu},
  year = {2024},
  doi = {10.1613/jair.1.16946},
  url = {https://arxiv.org/abs/2407.20532},
  note = {Source identifier: 2407.20532}
}