Parallelization Techniques for Verifying Neural NetworksDownload PDFOpen Website

Haoze Wu, Alex Ozdemir, Aleksandar Zeljic, Kyle Julian, Ahmed Irfan, Divya Gopinath, Sadjad Fouladi, Guy Katz, Corina S. Pasareanu, Clark W. Barrett

2020 (modified: 12 May 2023)FMCAD 2020Readers: Everyone
Abstract: 128
0 Replies