NNrepair: Constraint-Based Repair of Neural Network Classifiers.

Muhammad Usman Divya Gopinath Youcheng Sun Yannic Noller Corina S. Pasareanu

Published in: CAV (1) (2021)

Keyphrases

constraint satisfaction
damage assessment
real time
data sets
genetic algorithm
high level
preprocessing
wireless sensor networks
failure rate