• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

NNrepair: Constraint-Based Repair of Neural Network Classifiers.

Muhammad UsmanDivya GopinathYoucheng SunYannic NollerCorina 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