Author:Guy Katz

Publications
Proceedings of the 6th Workshop on Formal Methods for ML-Enabled Autonomous Systems Nina Narodytska, Guy Amir, Guy Katz and Omri Isac (editors) Kalpa Publications in Computing, volume 16
Tighter Abstract Queries in Neural Network Verification Elazar Cohen, Yizhak Yisrael Elboher, Clark Barrett and Guy Katz In:Proceedings of 24th International Conference on Logic for Programming, Artificial Intelligence and Reasoning
Minimal Modifications of Deep Neural Networks using Verification Ben Goldberger, Guy Katz, Yossi Adi and Joseph Keshet In:LPAR23. LPAR-23: 23rd International Conference on Logic for Programming, Artificial Intelligence and Reasoning