TY - RPRT TI - Reachability analysis for piecewise affine systems with neural network-based controllers AU - Dieter Teichrib AU - Moritz Schulze Darup PY - 2024 DO - 10.1109/cdc56724.2024.10886414 UR - https://arxiv.org/abs/2411.03834 ID - 2411.03834 ER -