Skip to main navigation Skip to search Skip to main content

Towards Formal Verification of Deep Neural Networks for Object Detection

  • Avraham Raviv
  • , Yizhak Y. Elboher*
  • , Omri Isac
  • , Michelle Aluf-Medina
  • , Ben Hagag
  • , Golan Shmueli
  • , Guy Katz
  • , Hillel Kugler
    • *Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

Fingerprint

Dive into the research topics of 'Towards Formal Verification of Deep Neural Networks for Object Detection'. Together they form a unique fingerprint.
Sort by

Keyphrases

Computer Science