TY  - RPRT
TI  - Certified Training with Branch-and-Bound for Lyapunov-stable Neural Control
AU  - Zhouxing Shi
AU  - Haoyu Li
AU  - Cho-Jui Hsieh
AU  - Huan Zhang
PY  - 2026
UR  - https://arxiv.org/abs/2411.18235
ID  - 2411.18235
ER  -