LEARNING
桥接控制与神经网络验证器alpha-beta-CROWN：教程
Haoyu Li, Xiangru Zhong, Hao Cheng, Bin Hu, Huan Zhang
- 发表年份
- 2026
- 访问权限
- 开放获取
摘要
本教程提出了一个统一框架，通过将控制问题与先进的神经网络验证器alpha-beta-CROWN相结合，实现了对神经网络控制器属性的可扩展形式验证。该框架利用alpha-beta-CROWN的通用边界引擎，为非线性函数提供认证边界和线性松弛，从而支持可达性分析、可满足性检查和优化等任务。
关键词
neural network verificationalpha-beta-CROWNcontrol synthesisformal verificationLyapunov theory
相关论文
LEARNING
📊 8,465 引用
The Organization of Behavior
D. O. Hebb
2005
LEARNING
📊 7,678 引用
Fractional Brownian Motions, Fractional Noises and Applications
Benoît B. Mandelbrot, John W. Van Ness
1968
LEARNING
开放获取📊 7,484 引用
Review of deep learning: concepts, CNN architectures, challenges, applications, future directions
Laith Alzubaidi, Jinglan Zhang, Amjad J. Humaidi 等 10 位作者
2021
LEARNING
📊 4,608 引用
A guide to deep learning in healthcare
Andre Esteva, Alexandre Robicquet, Bharath Ramsundar 等 10 位作者
2018