Reachability Analysis of Neural Feedback Loops
Neural Networks (NNs) can provide major empirical performance improvements for closed-loop 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 <italic>neural f...
| Published in: | IEEE Access |
|---|---|
| Main Authors: | , , , |
| Format: | Article |
| Language: | English |
| Published: |
IEEE
2021-01-01
|
| Subjects: | |
| Online Access: | https://ieeexplore.ieee.org/document/9638658/ |