Search Results for author:
Found 1 papers, 0 papers with code
Output Range Analysis for Deep Neural Networks
We demonstrate the effectiveness of the proposed approach for verification of NNs used in automated control as well as those used in classification.
Cannot find the paper you are looking for? You can
Submit a new open access paper.
