NASA Ames, KBR Inc., USA

Organization Name (de) Name der Organisation (de)
NASA Ames, KBR Inc., USA
 


Results 1-1 of 1 (Search time: 0.001 seconds).

PreviewAuthor(s)TitleTypeIssue Date
120_Parallelization Techniques for Verifying Neural Networks.pdf.jpgWu, Haoze ; Ozdemir, Alex ; Zeljic, Aleksandar ; Julian, Kyle ; Irfan, Ahmed ; Gopinath, Divya ; Fouladi, Sadjad ; Katz, Guy ; Pasareanu, Corina ; Barrett, Clark Parallelization Techniques for Verifying Neural NetworksKonferenzbeitrag Inproceedings 2020