TY  - RPRT
TI  - Bridging Control with Neural Network Verifier alpha-beta-CROWN: A Tutorial
AU  - Haoyu Li
AU  - Xiangru Zhong
AU  - Hao Cheng
AU  - Bin Hu
AU  - Huan Zhang
PY  - 2026
UR  - https://arxiv.org/abs/2605.26577
ID  - 2605.26577
ER  -