Original language | English |
---|---|
Title of host publication | 33rd International Conference on Computer-Aided Verification (CAV) |
Publication status | Accepted - 29 May 2021 |
NNrepair: Constraint-based Repair of Neural Network Classifiers
Muhammad Usman, Divya Gopinath, Youcheng Sun, Yannic Noller, Corina S. Pasareanu
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution