Automated Verification of Neural Networks: Advances, Challenges and Perspectives

(2018) [Preprint]

Seite(n): 8 Seiten : Tabellen, Diagramme

Autorinnen und Autoren

Autorinnen und Autoren

Leofante, Francesco
Narodytska, Nina
Pulina, Luca
Tacchella, Armando

Identifikationsnummern

  • REPORT NUMBER: RWTH-CONV-236477