53 citations · 114 across the 11 of their papers we have counts for
Showing eess.SYShow all
2 papers · 1 filter
eess.SY2021★ 53 cited
Reachability Analysis of Neural Feedback Loops
Michael Everett, Golnaz Habibi, Chuangchuang Sun +1
Neural Networks (NNs) can provide major empirical performance improvements for closed-loop systems, but they also introduce challenges in formally analyzing those systems' safety p…
eess.SY2021
Efficient Reachability Analysis of Closed-Loop Systems with Neural Network Controllers
Michael Everett, Golnaz Habibi, Jonathan P. How
Neural Networks (NNs) can provide major empirical performance improvements for robotic systems, but they also introduce challenges in formally analyzing those systems' safety prope…