@misc{indiciaee7a076204a98,
  title = {The Reachability Problem for Neural-Network Control Systems},
  author = {Christian Schilling and Martin Zimmermann},
  year = {2024},
  doi = {10.1007/978-3-031-73741-1\_27},
  url = {https://arxiv.org/abs/2407.04988},
  note = {Source identifier: 2407.04988}
}