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

Open Webpage

Yujie Yang, Hanjiang Hu, Tianhao Wei, Shengbo Eben Li, Changliu Liu

Published: 30 Jul 2025, Last Modified: 17 Nov 2025Journal of Artificial Intelligence ResearchEveryoneRevisionsCC BY-SA 4.0