@misc{indiciae176d486cc222,
  title = {Taming Reachability Analysis of DNN-Controlled Systems via Abstraction-Based Training},
  author = {Jiaxu Tian and Dapeng Zhi and Si Liu and Peixin Wang and Guy Katz and Min Zhang},
  year = {2023},
  url = {https://arxiv.org/abs/2211.11127},
  note = {Source identifier: 2211.11127}
}