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]
Abstract is missing.