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 proceedingConference contribution

Original languageEnglish
Title of host publication33rd International Conference on Computer-Aided Verification (CAV)
Publication statusAccepted - 29 May 2021

Cite this