Reachability Analysis of Neural Feedback Loops using Sparse Polynomial Optimisation

Matthew Newton, Antonis Papachristodoulou. Reachability Analysis of Neural Feedback Loops using Sparse Polynomial Optimisation. In 61st IEEE Conference on Decision and Control, CDC 2022, Cancun, Mexico, December 6-9, 2022. pages 2745-2750, IEEE, 2022. [doi]

@inproceedings{NewtonP22,
  title = {Reachability Analysis of Neural Feedback Loops using Sparse Polynomial Optimisation},
  author = {Matthew Newton and Antonis Papachristodoulou},
  year = {2022},
  doi = {10.1109/CDC51059.2022.9992719},
  url = {https://doi.org/10.1109/CDC51059.2022.9992719},
  researchr = {https://researchr.org/publication/NewtonP22},
  cites = {0},
  citedby = {0},
  pages = {2745-2750},
  booktitle = {61st IEEE Conference on Decision and Control, CDC 2022, Cancun, Mexico, December 6-9, 2022},
  publisher = {IEEE},
  isbn = {978-1-6654-6761-2},
}