Automated Verification of Neural Networks: Advances, Challenges and Perspectives

(2018) [Preprint]

Page(s): 8 Seiten : Tabellen, Diagramme

Authors

Authors

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

Identifier

  • REPORT NUMBER: RWTH-CONV-236477