README.md

α,β-CROWN Control Tutorial

Haoyu Li∗, Xiangru Zhong∗, Hao Cheng, Bin Hu, Huan Zhang

This repository accompanies the L4DC 2026 tutorial: Bridging Control with Neural Network Verifier α,β-CROWN: A Tutorial.

Colab Code Demo

• α,β-CROWN General Usage
• α,β-CROWN for Control Applications

Slides

Slides are available in the slides/ folder.

Citation

If you find our tutorial or our new API useful, please consider citing our tutorial paper:

@article{li2026bridging,
  title={Bridging Control with Neural Network Verifier alpha-beta-CROWN: A Tutorial},
  author={Li, Haoyu and Zhong, Xiangru and Cheng, Hao and Hu, Bin and Zhang, Huan},
  journal={arXiv preprint arXiv:2605.26577},
  year={2026}
}