Reachability Analysis of Neural Feedback Loops using Sparse Polynomial Optimisation - researchr publication related

researchr

You are not signed in
Sign in
Sign up

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]

The following publications are possibly variants of this publication:

Sparse polynomial optimisation for neural network verificationMatthew Newton, Antonis Papachristodoulou. automatica, 157:111233, November 2023. [doi]

runs on WebDSL