arXiv ID:
2602.05311
arXiv 提交日期: 2026-02-05
可证明鲁棒的神经李雅普诺夫-屏障证书的形式化合成 / Formal Synthesis of Certifiably Robust Neural Lyapunov-Barrier Certificates
1️⃣ 一句话总结
这篇论文提出了一种新方法,通过训练一种特殊的神经网络证书,来确保深度强化学习控制器即使在系统动态存在不确定性和扰动的情况下,也能安全稳定地运行,并在两个实际环境中验证了其有效性。