@misc{indiciaedd94099c649b,
  title = {A mixed-integer framework for analyzing neural network-based controllers for piecewise affine systems with bounded disturbances},
  author = {Dieter Teichrib and Moritz Schulze Darup},
  year = {2025},
  doi = {10.23919/ecc65951.2025.11187202},
  url = {https://arxiv.org/abs/2504.11125},
  note = {Source identifier: 2504.11125}
}