@misc{indiciaedf658c7a6b59,
  title = {Certified Training with Branch-and-Bound for Lyapunov-stable Neural Control},
  author = {Zhouxing Shi and Haoyu Li and Cho-Jui Hsieh and Huan Zhang},
  year = {2026},
  url = {https://arxiv.org/abs/2411.18235},
  note = {Source identifier: 2411.18235}
}