Guy Katz

14 papers and 158 indexed citations i.

Guy Katz has authored 14 papers that have received a total of 158 indexed citations. This includes 9 papers in Artificial Intelligence, 4 papers in Computer Vision and Pattern Recognition and 3 papers in Software. The topics of these papers are Adversarial Robustness in Machine Learning (4 papers), Explainable Artificial Intelligence (XAI) (3 papers) and Formal Methods in Verification (2 papers). Guy Katz is often cited by papers focused on Adversarial Robustness in Machine Learning (4 papers), Explainable Artificial Intelligence (XAI) (3 papers) and Formal Methods in Verification (2 papers) and collaborates with scholars based in Israel, United States and Germany. Guy Katz's co-authors include Clark Barrett, Assaf Marron, Dov Pode, Kyle D. Julian and David L. Dill and has published in prestigious journals such as Human Pathology, Computer and Science of Computer Programming