Efficient Reachability Analysis of Closed-Loop Systems with Neural Network Controllers

Cited by: 0|Views7

Abstract:

Neural Networks (NNs) can provide major empirical performance improvements for robotic systems, but they also introduce challenges in formally analyzing those systems' safety properties. In particular, this work focuses on estimating the forward reachable set of closed-loop systems with NN controllers. Recent work provides bounds on the...More

Code:

Data:

Full Text
Bibtex
Your rating :
0

 

Tags
Comments