本研究提出了一种新颖的认证训练框架CT-BaB，用于学习李雅甫诺稳定神经控制器。该框架通过动态训练时间的分支限界方法显著提高验证效率，测试时验证速度比基线快5倍，吸引域大小增大16倍。