@article{amixedintegerframeworkforanalyzing,
  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},
  eprint = {2504.11125},
  archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/2504.11125v2},
}