期刊&会议

JAIR

Journal of Artificial Intelligence Research · 期刊 · Artificial Intelligence

2025-08-01 至 2025-08-01 共收录 1 篇

2407.20532 2025-08-01 eess.SY cs.SY

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

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

Journal ref Journal of Artificial Intelligence Research 83 (2025) 19

↑