TY  - RPRT
TI  - A mixed-integer framework for analyzing neural network-based controllers for piecewise affine systems with bounded disturbances
AU  - Dieter Teichrib
AU  - Moritz Schulze Darup
PY  - 2025
DO  - 10.23919/ecc65951.2025.11187202
UR  - https://arxiv.org/abs/2504.11125
ID  - 2504.11125
ER  -