Idan Refaeli

Publication Activity (10 Years)

Years Active: 2021-2024
Publications (10 Years): 10

Top Topics

Back Propagation

Hybrid Intelligent

Reactive Systems

Top Venues

Publications

Guy Katz, Natan Levy, Idan Refaeli, Raz Yerushalmi
DEM: A Method for Certifying Deep Neural Network Classifier Outputs in Aerospace. CoRR (2024)
Haoze Wu, Omri Isac, Aleksandar Zeljic, Teruhiro Tagomori, Matthew L. Daggitt, Wen Kokke, Idan Refaeli, Guy Amir, Kyle Julian, Shahaf Bassan, Pei Huang, Ori Lahav, Min Wu, Min Zhang, Ekaterina Komendantskaya, Guy Katz, Clark W. Barrett
Marabou 2.0: A Versatile Formal Analyzer of Neural Networks. CAV (2) (2024)
Haoze Wu, Omri Isac, Aleksandar Zeljic, Teruhiro Tagomori, Matthew L. Daggitt, Wen Kokke, Idan Refaeli, Guy Amir, Kyle Julian, Shahaf Bassan, Pei Huang, Ori Lahav, Min Wu, Min Zhang, Ekaterina Komendantskaya, Guy Katz, Clark W. Barrett
Marabou 2.0: A Versatile Formal Analyzer of Neural Networks. CoRR (2024)
Shahaf Bassan, Guy Amir, Davide Corsi, Idan Refaeli, Guy Katz
Formally Explaining Neural Networks within Reactive Systems. CoRR (2023)
Guy Amir, Ziv Freund, Guy Katz, Elad Mandelbaum, Idan Refaeli
veriFIRE: Verifying an Industrial, Learning-Based Wildfire Detection System. FM (2023)
Shahaf Bassan, Guy Amir, Davide Corsi, Idan Refaeli, Guy Katz
Formally Explaining Neural Networks within Reactive Systems. FMCAD (2023)
Marco Casadio, Ekaterina Komendantskaya, Matthew L. Daggitt, Wen Kokke, Guy Katz, Guy Amir, Idan Refaeli
Neural Network Robustness as a Verification Property: A Principled Case Study. CAV (1) (2022)
Idan Refaeli, Guy Katz
Minimal Multi-Layer Modifications of Deep Neural Networks. NSV/FoMLAS@CAV (2022)
Guy Amir, Ziv Freund, Guy Katz, Elad Mandelbaum, Idan Refaeli
veriFIRE: Verifying an Industrial, Learning-Based Wildfire Detection System. CoRR (2022)
Idan Refaeli, Guy Katz
Minimal Multi-Layer Modifications of Deep Neural Networks. CoRR (2021)