@phdthesis{
author={Zhang,Yuhao},
year={2026},
title={Formal Reachability and Robust Stability Analysis of Neural Network Control Systems},
journal={The University of Wisconsin - Madison ProQuest Dissertations and Theses},
pages={167},
isbn={9798276027296},
}