研究人员开发了一个统一的框架，用于融合神经网络验证与控制合成，旨在提高关键系统的安全性。该方法利用 alpha-beta-CROWN 神经网络验证器来计算非线性函数的认证边界和线性松弛。通过分析状态域上的实值不等式，可以实现对稳定性、安全性等控制属性的可扩展验证，而 GPU 并行化则提高了复杂问题的性能。 AI
影响 增强了关键应用中基于神经网络的控制器的安全性和可扩展性。
排序理由 这是一篇研究论文，详细介绍了一个用于神经网络验证的新框架和工具。[lever_c_demoted from research: ic=1 ai=1.0]
AI 生成摘要 · Google Gemini · 来自 1 个来源。 我们如何撰写摘要 →