#安全验证

枚举引导训练：打造可靠的神经Hamilton-Jacobi安全证书

本文介绍了一种枚举引导的神经Hamilton-Jacobi安全证书训练框架，通过概率枚举检测前向不变性违反，生成精准反例以微调证书，扩大认证区域并减少认证时间。在Isaac Sim和真实自动驾驶赛车实验中实现零安全违规。