A Cascade of Checkers for Run-time Certification of Local Robustness.

Ravi Mangal Corina S. Pasareanu

Published in: NSV/FoMLAS@CAV (2022)

Keyphrases

databases
third party
data mining
genetic algorithm
computer vision
case study
database systems
multi class
database design
computational efficiency