YANG, Yujie; HU, Hanjiang; WEI, Tianhao; LI, Shengbo Eben; LIU, Changliu. Scalable Synthesis of Formally Verified Neural Value Function for Hamilton-Jacobi Reachability Analysis (Abstract Reprint). Proceedings of the AAAI Conference on Artificial Intelligence, [S. l.], v. 40, n. 47, p. 39905–39905, 2026. DOI: 10.1609/aaai.v40i47.41420. Disponível em: https://ojs.aaai.org/index.php/AAAI/article/view/41420. Acesso em: 24 may. 2026.