Search Results for author:
Found 1 papers, 0 papers with code
Neural Network Repair with Reachability Analysis
Formally verifying the safety and robustness of well-trained DNNs and learning-enabled systems under attacks, model uncertainties, and sensing errors is essential for safe autonomy.
Cannot find the paper you are looking for? You can
Submit a new open access paper.
