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 proceeding › Conference contribution › peer-review

Original language	Undefined
Title of host publication	Computer Aided Verification (CAV): 33rd International Conference, July 20--23, 2021, Proceedings, Part I 33
Pages	3-25
Number of pages	23
Publication status	Published - 2021

Cite this

@inproceedings{65d909af530f45af96b5d12d674927a5,

title = "NNrepair: constraint-based repair of neural network classifiers",

author = "Muhammad Usman and Divya Gopinath and Youcheng Sun and Yannic Noller and P{\u a}s{\u a}reanu, {Corina S}",

year = "2021",

language = "Undefined",

pages = "3--25",

booktitle = "Computer Aided Verification (CAV): 33rd International Conference, July 20--23, 2021, Proceedings, Part I 33",

}

TY - GEN

T1 - NNrepair: constraint-based repair of neural network classifiers

AU - Usman, Muhammad

AU - Gopinath, Divya

AU - Sun, Youcheng

AU - Noller, Yannic

AU - Păsăreanu, Corina S

PY - 2021

Y1 - 2021

M3 - Conference contribution

SP - 3

EP - 25

BT - Computer Aided Verification (CAV): 33rd International Conference, July 20--23, 2021, Proceedings, Part I 33

ER -