Full name Familienname, Vorname
Julian, Kyle
 
Main Affiliation Organisations­zuordnung
 

Results 1-1 of 1 (Search time: 0.002 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