Guy Amir

Most-cited papers

Marabou 2.0: A Versatile Formal Analyzer of Neural Networks
Hao-Ze Wu, Omri Isac, Aleksandar Zelji'c, Teruhiro Tagomori +13 more
2024International Conference on Computer Aided Verification130 citations
Semantic Scholar
An SMT-Based Approach for Verifying Binarized Neural Networks
Guy Amir, Haoze Wu, Clark W. Barrett, Guy Katz
2020International Conference on Tools and Algorithms for Construction and Analysis of Systems67 citations Open access
Semantic Scholar
Neural Network Robustness as a Verification Property: A Principled Case Study
Marco Casadio, Ekaterina Komendantskaya, M. Daggitt, Kok-Ke Wen +3 more
2021International Conference on Computer Aided Verification56 citations Open access
Semantic Scholar
Towards Scalable Verification of Deep Reinforcement Learning
Guy Amir, Michael Schapira, Guy Katz
2021Formal Methods in Computer-Aided Design54 citations
Semantic Scholar
Verifying Learning-Based Robotic Navigation Systems
Guy Amir, Davide Corsi, Raz Yerushalmi, Luca Marzari +3 more
2022International Conference on Tools and Algorithms for Construction and Analysis of Systems51 citations Open access
Semantic Scholar
Formal Policy Enforcement for Agentic Systems
Nils Palumbo, Sarthak Choudhary, Jih-Ye Choi, Guy Amir +3 more
202639 citations
Semantic Scholar
Local vs. Global Interpretability: A Computational Complexity Perspective
Shahaf Bassan, Guy Amir, Guy Katz
2024International Conference on Machine Learning35 citations
Semantic Scholar
Formally Explaining Neural Networks within Reactive Systems
Shahaf Bassan, Guy Amir, Davide Corsi, Idan Refaeli +1 more
2023Formal Methods in Computer-Aided Design30 citations
Semantic Scholar
Formally Verifying Deep Reinforcement Learning Controllers with Lyapunov Barrier Certificates
Udayan Mandal, Guy Amir, Hao-Ze Wu, Ieva Daukantas +8 more
2024Formal Methods in Computer-Aided Design24 citations
Semantic Scholar
Constrained Reinforcement Learning for Robotics via Scenario-Based Programming
Davide Corsi, Raz Yerushalmi, Guy Amir, A. Farinelli +2 more
2022arXiv.org21 citations Open access
Semantic Scholar
Verifying Generalization in Deep Learning
Guy Amir, Osher Maayan, Tom Zelazny, Guy Katz +1 more
2023International Conference on Computer Aided Verification20 citations Open access
Semantic Scholar
Verification-Aided Deep Ensemble Selection
Guy Amir, Tom Zelazny, Guy Katz, Michael Schapira
2022Formal Methods in Computer-Aided Design20 citations
Semantic Scholar
Shield Synthesis for LTL Modulo Theories
Andoni Rodríguez, Guy Amir, Davide Corsi, César Sánchez +1 more
2024AAAI Conference on Artificial Intelligence19 citations
Semantic Scholar
Verification-Guided Shielding for Deep Reinforcement Learning
Davide Corsi, Guy Amir, Andoni Rodríguez, César Sánchez +2 more
2024RLJ19 citations
Semantic Scholar
What makes an Ensemble (Un) Interpretable?
Shahaf Bassan, Guy Amir, M. Zehavi, Guy Katz
2025International Conference on Machine Learning15 citations
Semantic Scholar
veriFIRE: Verifying an Industrial, Learning-Based Wildfire Detection System
Guy Amir, Ziv Freund, Guy Katz, E. Mandelbaum +1 more
2022World Congress on Formal Methods15 citations Open access
Semantic Scholar
Systems Security Foundations for Agentic Computing
Mihai Christodorescu, Earlence Fernandes, Ashish Hooda, Somesh Jha +10 more
2025IACR Cryptology ePrint Archive14 citations
Semantic Scholar
Scenario-Assisted Deep Reinforcement Learning
Raz Yerushalmi, Guy Amir, Achiya Elyasaf, D. Harel +2 more
2022International Conference on Model-Driven Engineering and Software Development14 citations Open access
Semantic Scholar
Safe and Reliable Training of Learning-Based Aerospace Controllers
Udayan Mandal, Guy Amir, Hao-Ze Wu, Ieva Daukantas +9 more
2024Symposium on Dependable Autonomic and Secure Computing13 citations Open access
Semantic Scholar
Enhancing Deep Reinforcement Learning with Scenario-Based Modeling
Raz Yerushalmi, Guy Amir, Achiya Elyasaf, D. Harel +2 more
2023SN Computer Science12 citations
Semantic Scholar
Verifying the Generalization of Deep Learning to Out-of-Distribution Domains
Guy Amir, Osher Maayan, Tom Zelazny, Guy Katz +1 more
2024Journal of automated reasoning11 citations Open access
Semantic Scholar
Hard to Explain: On the Computational Hardness of In-Distribution Model Interpretation
Guy Amir, Shahaf Bassan, Guy Katz
2024European Conference on Artificial Intelligence11 citations
Semantic Scholar
An SMT-Based Approach for Verifying Binarized Neural Networks
Guy Amir
11 citations Open access
Semantic Scholar
Agent Security is a Systems Problem
Mihai Christodorescu, Earlence Fernandes, Ashish Hooda, Somesh Jha +10 more
2026arXiv.org7 citations
Semantic Scholar
Analyzing Adversarial Inputs in Deep Reinforcement Learning
Davide Corsi, Guy Amir, Guy Katz, Alessandro Farinelli
2024arXiv.org7 citations
Semantic Scholar
Towards Scalable Verification of RL-Driven Systems
Guy Amir, Michael Schapira, Guy Katz
2021arXiv.org4 citations
Semantic Scholar
Enforcing Specific Behaviours via Constrained DRL and Scenario-Based Programming
Davide Corsi, Raz Yerushalmi, Guy Amir, Alessandro Farinelli +2 more
2024International Conference on Neural Information Processing3 citations
Semantic Scholar
Use and Perceptions of Multi-Monitor Workstations: A Natural Experiment
Guy Amir, Ayala Prusak, Tal Reiss, Nir Zabari +1 more
20212021 IEEE/ACM 8th International Workshop on Software Engineering Research and Industrial Practice (SER&IP)3 citations Open access
Semantic Scholar
veriFIRE: An Industrial Case Study in Verifying Consistency Properties for a DNN-Based Wildfire Detection System
Idan Refaeli, Maya Swisa, Itay Buchnik, Alon Zada +4 more
2026SAIV1 citations
Semantic Scholar
NEST: Network Enforced Session Types (Artifact)
Jens Kanstrup Larsen, A. Scalas, Guy Amir, Jules Jacobs +2 more
2026Dagstuhl Artifacts Ser.1 citations
Semantic Scholar
Deciding Serializability in Network Systems
Guy Amir, Mark Barbone, Nicolas Amat, Jules Jacobs
2026International Conference on Tools and Algorithms for Construction and Analysis of Systems1 citations
Semantic Scholar
NEST: Network Enforced Session Types
Jens Kanstrup Larsen, A. Scalas, Guy Amir, Jules Jacobs +2 more
2026European Conference on Object-Oriented Programming0 citations
Semantic Scholar
NEST: Network Enforced Session Types (Technical Report)
Jens Kanstrup Larsen, A. Scalas, Guy Amir, Jules Jacobs +2 more
2026arXiv.org0 citations
Semantic Scholar
On Improving Deep Active Learning with Formal Verification
Jonathan Spiegelman, Guy Amir, Guy Katz
2025arXiv.org0 citations
Semantic Scholar
Proceedings of the 25th Conference on Formal Methods in Computer-Aided Design, FMCAD 2025, Menlo Park, CA, USA, October 6-10, 2025
Ahmed Irfan, Daniela Kaufmann, T. U. Wien, Karlsplatz +39 more
2025Formal Methods in Computer-Aided Design0 citations
Semantic Scholar