C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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