Guy Amir

Publication Activity (10 Years)

Years Active: 2020-2024
Publications (10 Years): 31

Top Topics

False Acceptance

Reinforcement Learning

Ensemble Selection

Top Venues

Publications

Guy Amir, Osher Maayan, Tom Zelazny, Guy Katz, Michael Schapira
Verifying the Generalization of Deep Learning to Out-of-Distribution Domains. J. Autom. Reason. 68 (3) (2024)
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
Formally Verifying Deep Reinforcement Learning Controllers with Lyapunov Barrier Certificates. CoRR (2024)
Shahaf Bassan, Guy Amir, Guy Katz
Local vs. Global Interpretability: A Computational Complexity Perspective. CoRR (2024)
Davide Corsi, Guy Amir, Andoni Rodriguez, Cesar Sanchez, Guy Katz, Roy Fox
Verification-Guided Shielding for Deep Reinforcement Learning. CoRR (2024)
Davide Corsi, Guy Amir, Guy Katz, Alessandro Farinelli
Analyzing Adversarial Inputs in Deep Reinforcement Learning. CoRR (2024)
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
Safe and Reliable Training of Learning-Based Aerospace Controllers. CoRR (2024)
Andoni Rodriguez, Guy Amir, Davide Corsi, Cesar Sanchez, Guy Katz
Shield Synthesis for LTL Modulo Theories. CoRR (2024)
Guy Amir, Osher Maayan, Tom Zelazny, Guy Katz, Michael Schapira
Verifying the Generalization of Deep Learning to Out-of-Distribution Domains. CoRR (2024)
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
Marabou 2.0: A Versatile Formal Analyzer of Neural Networks. CAV (2) (2024)
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
Marabou 2.0: A Versatile Formal Analyzer of Neural Networks. CoRR (2024)
Shahaf Bassan, Guy Amir, Davide Corsi, Idan Refaeli, Guy Katz
Formally Explaining Neural Networks within Reactive Systems. CoRR (2023)
Guy Amir, Osher Maayan, Tom Zelazny, Guy Katz, Michael Schapira
Verifying Generalization in Deep Learning. CoRR (2023)
Guy Amir, Davide Corsi, Raz Yerushalmi, Luca Marzari, David Harel, Alessandro Farinelli, Guy Katz
Verifying Learning-Based Robotic Navigation Systems. TACAS (1) (2023)
Guy Amir, Osher Maayan, Tom Zelazny, Guy Katz, Michael Schapira
Verifying Generalization in Deep Learning. CAV (2) (2023)
Guy Amir, Ziv Freund, Guy Katz, Elad Mandelbaum, Idan Refaeli
veriFIRE: Verifying an Industrial, Learning-Based Wildfire Detection System. FM (2023)
Shahaf Bassan, Guy Amir, Davide Corsi, Idan Refaeli, Guy Katz
Formally Explaining Neural Networks within Reactive Systems. FMCAD (2023)
Raz Yerushalmi, Guy Amir, Achiya Elyasaf, David Harel, Guy Katz, Assaf Marron
Enhancing Deep Reinforcement Learning with Scenario-Based Modeling. SN Comput. Sci. 4 (2) (2023)
Marco Casadio, Ekaterina Komendantskaya, Matthew L. Daggitt, Wen Kokke, Guy Katz, Guy Amir, Idan Refaeli
Neural Network Robustness as a Verification Property: A Principled Case Study. CAV (1) (2022)
Guy Amir, Guy Katz, Michael Schapira
Verification-Aided Deep Ensemble Selection. CoRR (2022)
Guy Amir, Ziv Freund, Guy Katz, Elad Mandelbaum, Idan Refaeli
veriFIRE: Verifying an Industrial, Learning-Based Wildfire Detection System. CoRR (2022)
Raz Yerushalmi, Guy Amir, Achiya Elyasaf, David Harel, Guy Katz, Assaf Marron
Scenario-assisted Deep Reinforcement Learning. MODELSWARD (2022)
Davide Corsi, Raz Yerushalmi, Guy Amir, Alessandro Farinelli, David Harel, Guy Katz
Constrained Reinforcement Learning for Robotics via Scenario-Based Programming. CoRR (2022)
Guy Amir, Davide Corsi, Raz Yerushalmi, Luca Marzari, David Harel, Alessandro Farinelli, Guy Katz
Verifying Learning-Based Robotic Navigation Systems. CoRR (2022)
Raz Yerushalmi, Guy Amir, Achiya Elyasaf, David Harel, Guy Katz, Assaf Marron
Scenario-Assisted Deep Reinforcement Learning. CoRR (2022)
Guy Amir, Tom Zelazny, Guy Katz, Michael Schapira
Verification-Aided Deep Ensemble Selection. FMCAD (2022)
Guy Amir, Ayala Prusak, Tal Reiss, Nir Zabari, Dror G. Feitelson
Use and Perceptions of Multi-Monitor Workstations: A Natural Experiment. SER&IP@ICSE (2021)
Guy Amir, Ayala Prusak, Tal Reiss, Nir Zabari, Dror G. Feitelson
Use and Perceptions of Multi-Monitor Workstations: A Natural Experiment. CoRR (2021)
Guy Amir, Michael Schapira, Guy Katz
Towards Scalable Verification of RL-Driven Systems. CoRR (2021)
Guy Amir, Haoze Wu, Clark W. Barrett, Guy Katz
An SMT-Based Approach for Verifying Binarized Neural Networks. TACAS (2) (2021)
Guy Amir, Michael Schapira, Guy Katz
Towards Scalable Verification of Deep Reinforcement Learning. FMCAD (2021)
Guy Amir, Haoze Wu, Clark W. Barrett, Guy Katz
An SMT-Based Approach for Verifying Binarized Neural Networks. CoRR (2020)