NNrepair: constraint-based repair of neural network classifiers

Muhammad Usman, Divya Gopinath, Youcheng Sun, Yannic Noller, Corina S Păsăreanu

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

Original languageUndefined
Title of host publicationComputer Aided Verification (CAV): 33rd International Conference, July 20--23, 2021, Proceedings, Part I 33
Number of pages23
Publication statusPublished - 2021

Cite this