概念neural certificate / 神经安全证书
神经证书
用神经网络近似 Hamilton-Jacobi 值函数或其他安全证书函数，以在连续状态空间中提供可证明的安全保证。
时间轴 (近 90 天)
10月21日
HJ方程在一般非线性系统中没有解析解，数值求解面临维数灾难，因此近年研究转向用神经网络来近似HJ值函数（神经证书）。
待验证50%
10月21日
该工作将形式化验证与深度学习相结合，通过枚举引导的训练提升神经证书的可靠性，对自动驾驶、机器人等安全关键领域具有重要价值。
待验证50%