Guy Amir

According to our database, Guy Amir authored at least 25 papers between 2021 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2025

What makes an Ensemble (Un) Interpretable?

Shahaf Bassan, Guy Amir, Meirav Zehavi, Guy Katz

CoRR, June, 2025

Shield Synthesis for LTL Modulo Theories.

Andoni Rodríguez, Guy Amir, Davide Corsi, César Sánchez, Guy Katz

Proceedings of the AAAI-25, Sponsored by the Association for the Advancement of Artificial Intelligence, February 25, 2025

2024

Verifying the Generalization of Deep Learning to Out-of-Distribution Domains.

Guy Amir, Osher Maayan, Tom Zelazny, Guy Katz, Michael Schapira

J. Autom. Reason., September, 2024

Safe and Reliable Training of Learning-Based Aerospace Controllers.

Udayan Mandal, Guy Amir, Haoze Wu, Ieva Daukantas, Fletcher Lee Newell, Umberto J. Ravaioli, Baoluo Meng, Michael Durling, Kerianne Hobbs, Milan Ganai, Tobey Shim, Guy Katz, Clark W. Barrett

CoRR, 2024

Analyzing Adversarial Inputs in Deep Reinforcement Learning.

Davide Corsi, Guy Amir, Guy Katz, Alessandro Farinelli

CoRR, 2024

Verification-Guided Shielding for Deep Reinforcement Learning.

Davide Corsi, Guy Amir, Andoni Rodríguez, Guy Katz, César Sánchez, Roy Fox

RLJ, 2024

Enforcing Specific Behaviours via Constrained DRL and Scenario-Based Programming.

Davide Corsi, Raz Yerushalmi, Guy Amir, Alessandro Farinelli, David Harel, Guy Katz

Proceedings of the Neural Information Processing - 31st International Conference, 2024

Local vs. Global Interpretability: A Computational Complexity Perspective.

Shahaf Bassan, Guy Amir, Guy Katz

Proceedings of the Forty-first International Conference on Machine Learning, 2024

Formally Verifying Deep Reinforcement Learning Controllers with Lyapunov Barrier Certificates.

Udayan Mandal, Guy Amir, Haoze Wu, Ieva Daukantas, Fletcher Lee Newell, Umberto J. Ravaioli, Baoluo Meng, Michael Durling, Milan Ganai, Tobey Shim, Guy Katz, Clark W. Barrett

Proceedings of the Formal Methods in Computer-Aided Design, 2024

Hard to Explain: On the Computational Hardness of In-Distribution Model Interpretation.

Guy Amir, Shahaf Bassan, Guy Katz

Proceedings of the ECAI 2024 - 27th European Conference on Artificial Intelligence, 19-24 October 2024, Santiago de Compostela, Spain, 2024

Marabou 2.0: A Versatile Formal Analyzer of Neural Networks.

Haoze Wu, Omri Isac, Aleksandar Zeljic, Teruhiro Tagomori, Matthew L. Daggitt, Wen Kokke, Idan Refaeli, Guy Amir, Kyle Julian, Shahaf Bassan, Pei Huang, Ori Lahav, Min Wu, Min Zhang, Ekaterina Komendantskaya, Guy Katz, Clark W. Barrett

Proceedings of the Computer Aided Verification - 36th International Conference, 2024

2023

Enhancing Deep Reinforcement Learning with Scenario-Based Modeling.

Raz Yerushalmi, Guy Amir, Achiya Elyasaf, David Harel, Guy Katz, Assaf Marron

SN Comput. Sci., March, 2023

Verifying Learning-Based Robotic Navigation Systems.

Guy Amir, Davide Corsi, Raz Yerushalmi, Luca Marzari, David Harel, Alessandro Farinelli, Guy Katz

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2023

Formally Explaining Neural Networks within Reactive Systems.

Shahaf Bassan, Guy Amir, Davide Corsi, Idan Refaeli, Guy Katz

Proceedings of the Formal Methods in Computer-Aided Design, 2023

veriFIRE: Verifying an Industrial, Learning-Based Wildfire Detection System.

Guy Amir, Ziv Freund, Guy Katz, Elad Mandelbaum, Idan Refaeli

Proceedings of the Formal Methods - 25th International Symposium, 2023

Verifying Generalization in Deep Learning.

Guy Amir, Osher Maayan, Tom Zelazny, Guy Katz, Michael Schapira

Proceedings of the Computer Aided Verification - 35th International Conference, 2023

2022

Constrained Reinforcement Learning for Robotics via Scenario-Based Programming.

Davide Corsi, Raz Yerushalmi, Guy Amir, Alessandro Farinelli, David Harel, Guy Katz

CoRR, 2022

Verification-Aided Deep Ensemble Selection.

Guy Amir, Guy Katz, Michael Schapira

CoRR, 2022

Scenario-assisted Deep Reinforcement Learning.

Raz Yerushalmi, Guy Amir, Achiya Elyasaf, David Harel, Guy Katz, Assaf Marron

Proceedings of the 10th International Conference on Model-Driven Engineering and Software Development, 2022

Verification-Aided Deep Ensemble Selection.

Guy Amir, Tom Zelazny, Guy Katz, Michael Schapira

Proceedings of the 22nd Formal Methods in Computer-Aided Design, 2022

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

Proceedings of the Computer Aided Verification - 34th International Conference, 2022

2021

Towards Scalable Verification of RL-Driven Systems.

Guy Amir, Michael Schapira, Guy Katz

CoRR, 2021

An SMT-Based Approach for Verifying Binarized Neural Networks.

Guy Amir, Haoze Wu, Clark W. Barrett, Guy Katz

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2021

Use and Perceptions of Multi-Monitor Workstations: A Natural Experiment.

Guy Amir, Ayala Prusak, Tal Reiss, Nir Zabari, Dror G. Feitelson

Proceedings of the 8th IEEE/ACM International Workshop on Software Engineering Research and Industrial Practice, 2021

Towards Scalable Verification of Deep Reinforcement Learning.

Guy Amir, Michael Schapira, Guy Katz

Proceedings of the Formal Methods in Computer Aided Design, 2021