Fingerprint
Dive into the research topics of 'Marabou 2.0: A Versatile Formal Analyzer of Neural Networks'. Together they form a unique fingerprint.- Sort by
- Weight
- Alphabetically
Marabou 2.0: A Versatile Formal Analyzer of Neural Networks
Haoze Wu*, Omri Isac, Aleksandar Zeljić, Teruhiro Tagomori, Matthew Daggitt, Wen Kokke, Idan Refaeli, Guy Amir, Kyle Julian, Shahaf Bassan, Pei Huang, Ori Lahav, Min Wu, Min Zhang, Ekaterina Komendantskaya, Guy Katz, Clark Barrett
*Corresponding author for this work
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
8
Citations
(Scopus)
26
Downloads
(Pure)