One-Shot Reachability Analysis of Neural Network Dynamical Systems

Shaoru Chen, Victor M. Preciado, Mahyar Fazlyab. One-Shot Reachability Analysis of Neural Network Dynamical Systems. In IEEE International Conference on Robotics and Automation, ICRA 2023, London, UK, May 29 - June 2, 2023. pages 10546-10552, IEEE, 2023. [doi]

@inproceedings{ChenPF23,
  title = {One-Shot Reachability Analysis of Neural Network Dynamical Systems},
  author = {Shaoru Chen and Victor M. Preciado and Mahyar Fazlyab},
  year = {2023},
  doi = {10.1109/ICRA48891.2023.10160643},
  url = {https://doi.org/10.1109/ICRA48891.2023.10160643},
  researchr = {https://researchr.org/publication/ChenPF23},
  cites = {0},
  citedby = {0},
  pages = {10546-10552},
  booktitle = {IEEE International Conference on Robotics and Automation, ICRA 2023, London, UK, May 29 - June 2, 2023},
  publisher = {IEEE},
  isbn = {979-8-3503-2365-8},
}