#Hamilton-Jacobi

训练安全的神经网络控制器一直很难，这篇用枚举反例微调证书，在真实赛车上做到零违例，做控制安全方向的可以细看。