Reachability Analysis of Neural Network Control Systems

Zhang et al. "Reachability Analysis of Neural Network Control Systems." AAAI Conference on Artificial Intelligence, 2023. doi:10.1609/AAAI.V37I12.26783

[Zhang et al. "Reachability Analysis of Neural Network Control Systems." AAAI Conference on Artificial Intelligence, 2023.](https://mlanthology.org/aaai/2023/zhang2023aaai-reachability/) doi:10.1609/AAAI.V37I12.26783

@inproceedings{zhang2023aaai-reachability,
  title     = {{Reachability Analysis of Neural Network Control Systems}},
  author    = {Zhang, Chi and Ruan, Wenjie and Xu, Peipei},
  booktitle = {AAAI Conference on Artificial Intelligence},
  year      = {2023},
  pages     = {15287-15295},
  doi       = {10.1609/AAAI.V37I12.26783},
  url       = {https://mlanthology.org/aaai/2023/zhang2023aaai-reachability/}
}