| Neural network robustness as a verification property: a principled case study M Casadio, E Komendantskaya, ML Daggitt, W Kokke, G Katz, G Amir, ... International Conference on Computer Aided Verification, 219-231, 2022 | 31 | 2022 |
| Minimal multi-layer modifications of deep neural networks I Refaeli, G Katz International Workshop on Numerical Software Verification, 46-66, 2022 | 13 | 2022 |
| veriFIRE: verifying an industrial, learning-based wildfire detection system G Amir, Z Freund, G Katz, E Mandelbaum, I Refaeli International Symposium on Formal Methods, 648-656, 2023 | 8 | 2023 |
| Formally Explaining Neural Networks within Reactive Systems S Bassan, G Amir, D Corsi, I Refaeli, G Katz 2023 Formal Methods in Computer-Aided Design (FMCAD), 1-13, 2023 | 2 | 2023 |
| Marabou 2.0: A Versatile Formal Analyzer of Neural Networks H Wu, O Isac, A Zeljić, T Tagomori, M Daggitt, W Kokke, I Refaeli, G Amir, ... arXiv preprint arXiv:2401.14461, 2024 | | 2024 |
| DEM: A Method for Certifying Deep Neural Network Classifier Outputs in Aerospace G Katz, N Levy, I Refaeli, R Yerushalmi arXiv preprint arXiv:2401.02283, 2024 | | 2024 |
| Neural Network Robustness as a Verification Property: A Principled Case Study G Katz, G Amir, I Refaeli | | |
