Guy Amir

According to our database, Guy Amir authored at least 16 papers between 2021 and 2024.

Collaborative distances:

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

2024

Analyzing Adversarial Inputs in Deep Reinforcement Learning.

Davide Corsi, Guy Amir, Guy Katz, Alessandro Farinelli

CoRR, 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

CoRR, 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