Automated Verification of Neural Networks: Advances, Challenges and Perspectives

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

(2018)
Preprint

Institutions

  • Department of Computer Science [120000]
  • Chair of Computer Science 2 (Software Modeling and Verification) [121310]

Identifier