Neural Network Robustness as a Verification Property: A Principled Case Study. - Marco Casadio; Ekaterina Komendantskaya; Matthew L. Daggitt; Wen Kokke; Guy Katz; Guy Amir; Idan Refaeli (CAV (1), 2022)

Minimal Multi-Layer Modifications of Deep Neural Networks. - Idan Refaeli; Guy Katz (NSV/FoMLAS@CAV, 2022)

veriFIRE: Verifying an Industrial, Learning-Based Wildfire Detection System. - Guy Amir; Ziv Freund; Guy Katz; Elad Mandelbaum; Idan Refaeli (FM, 2023)

Formally Explaining Neural Networks within Reactive Systems. - Shahaf Bassan; Guy Amir; Davide Corsi; Idan Refaeli; Guy Katz (FMCAD, 2023)

Marabou 2.0: A Versatile Formal Analyzer of Neural Networks. - Haoze Wu 001; Omri Isac; Aleksandar Zeljic; Teruhiro Tagomori; Matthew L. Daggitt; Wen Kokke; Idan Refaeli; Guy Amir; Kyle Julian; Shahaf Bassan; Pei Huang 002; Ori Lahav 002; et al. (CAV (2), 2024)

DEM: A Method for Certifying Deep Neural Network Classifier Outputs in Aerospace. - Guy Katz; Natan Levy; Idan Refaeli; Raz Yerushalmi (CoRR, 2024)

Proof-Driven Clause Learning in Neural Network Verification. - Omri Isac; Idan Refaeli; Haoze Wu 001; Clark W. Barrett; Guy Katz (CoRR, 2025)