Login / Signup

DeepCert: Verification of Contextually Relevant Robustness for Neural Network Image Classifiers.

Colin PatersonHaoze WuJohn GreseRadu CalinescuCorina S. PasareanuClark W. Barrett
Published in: SAFECOMP (2021)
Keyphrases