64 citations · 117 across the 4 of their papers we have counts for
1 paper · 2 filters
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…