TY  - RPRT
TI  - Computing the Maximal Controlled Invariant Set for Neural Network Control Systems
AU  - Tianxiao Ye
AU  - Hang Zhang
AU  - Xiangru Xu
PY  - 2026
UR  - https://arxiv.org/abs/2608.07908
ID  - 2608.07908
ER  -