40 citations · 43 across the 6 of their papers we have counts for
1 paper · 1 filter
Joseph A. Vincent, Mac Schwager
We present a method for computing exact reachable sets for deep neural networks with rectified linear unit (ReLU) activation. Our method is well-suited for use in rigorous safety a…