Robustness Analysis of Neural Networks via Efficient Partitioning: Theory and Applications in Control Systems
ieee control systems letters, pp. 1-1, 2020.
Neural networks (NNs) are now routinely implemented on systems that must operate in uncertain environments, but the tools for formally analyzing how this uncertainty propagates to NN outputs are not yet commonplace. Computing tight bounds on NN output sets (given an input set) provides a measure of confidence associated with the NN deci...More
PPT (Upload PPT)