Guy Amir

44 papers A* 3A 1B 5C 1Journal 25Unranked 8
YearRankTypeTitle / Venue / Authors
2026 — conf
Deciding Serializability in Network Systems.
TACAS (2)
Guy Amir, Mark Barbone, Nicolas Amat, Jules Jacobs
2026 J jnl
Deciding Serializability in Network Systems.
CoRR
Guy Amir, Mark Barbone, Nicolas Amat, Jules Jacobs
2025 J jnl
On Improving Deep Active Learning with Formal Verification.
CoRR
Jonathan Spiegelman, Guy Amir, Guy Katz
2025 A* conf
Shield Synthesis for LTL Modulo Theories.
AAAI
Andoni Rodríguez, Guy Amir, Davide Corsi, César Sánchez, Guy Katz
2025 A* conf
What makes an Ensemble (Un) Interpretable?
ICML
Shahaf Bassan, Guy Amir, Meirav Zehavi, Guy Katz
2025 J jnl
What makes an Ensemble (Un) Interpretable?
CoRR
Shahaf Bassan, Guy Amir, Meirav Zehavi, Guy Katz
2024 J jnl
Analyzing Adversarial Inputs in Deep Reinforcement Learning.
CoRR
Davide Corsi, Guy Amir, Guy Katz, Alessandro Farinelli
2024 — conf
Enforcing Specific Behaviours via Constrained DRL and Scenario-Based Programming.
ICONIP (11)
Davide Corsi, Raz Yerushalmi, Guy Amir, Alessandro Farinelli, David Harel, Guy Katz
2024 B conf
Formally Verifying Deep Reinforcement Learning Controllers with Lyapunov Barrier Certificates.
FMCAD
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
2024 J jnl
Formally Verifying Deep Reinforcement Learning Controllers with Lyapunov Barrier Certificates.
CoRR
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
2024 A conf
Hard to Explain: On the Computational Hardness of In-Distribution Model Interpretation.
ECAI
Guy Amir, Shahaf Bassan, Guy Katz
2024 J jnl
Hard to Explain: On the Computational Hardness of In-Distribution Model Interpretation.
CoRR
Guy Amir, Shahaf Bassan, Guy Katz
2024 A* conf
Local vs. Global Interpretability: A Computational Complexity Perspective.
ICML
Shahaf Bassan, Guy Amir, Guy Katz
2024 J jnl
Local vs. Global Interpretability: A Computational Complexity Perspective.
CoRR
Shahaf Bassan, Guy Amir, Guy Katz
2024 — conf
Marabou 2.0: A Versatile Formal Analyzer of Neural Networks.
CAV (2)
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
2024 J jnl
Marabou 2.0: A Versatile Formal Analyzer of Neural Networks.
CoRR
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
2024 J jnl
Safe and Reliable Training of Learning-Based Aerospace Controllers.
CoRR
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
2024 J jnl
Shield Synthesis for LTL Modulo Theories.
CoRR
Andoni Rodríguez, Guy Amir, Davide Corsi, César Sánchez, Guy Katz
2024 J jnl
Verification-Guided Shielding for Deep Reinforcement Learning.
RLJ
Davide Corsi, Guy Amir, Andoni Rodríguez, Guy Katz, César Sánchez, Roy Fox
2024 J jnl
Verification-Guided Shielding for Deep Reinforcement Learning.
CoRR
Davide Corsi, Guy Amir, Andoni Rodríguez, César Sánchez, Guy Katz, Roy Fox
2024 J jnl
Verifying the Generalization of Deep Learning to Out-of-Distribution Domains.
CoRR
Guy Amir, Osher Maayan, Tom Zelazny, Guy Katz, Michael Schapira
2024 J jnl
Verifying the Generalization of Deep Learning to Out-of-Distribution Domains.
J. Autom. Reason.
Guy Amir, Osher Maayan, Tom Zelazny, Guy Katz, Michael Schapira
2023 J jnl
Enhancing Deep Reinforcement Learning with Scenario-Based Modeling.
SN Comput. Sci.
Raz Yerushalmi, Guy Amir, Achiya Elyasaf, David Harel, Guy Katz, Assaf Marron
2023 B conf
Formally Explaining Neural Networks within Reactive Systems.
FMCAD
Shahaf Bassan, Guy Amir, Davide Corsi, Idan Refaeli, Guy Katz
2023 J jnl
Formally Explaining Neural Networks within Reactive Systems.
CoRR
Shahaf Bassan, Guy Amir, Davide Corsi, Idan Refaeli, Guy Katz
2023 — ed.
Proceedings of the 6th Workshop on Formal Methods for ML-Enabled Autonomous Systems, FoMLAS@CAV 2023, Paris, France, July 17-18, 2023.
FoMLAS@CAV
Nina Narodytska, Guy Amir, Guy Katz, Omri Isac
2023 — conf
Verifying Generalization in Deep Learning.
CAV (2)
Guy Amir, Osher Maayan, Tom Zelazny, Guy Katz, Michael Schapira
2023 J jnl
Verifying Generalization in Deep Learning.
CoRR
Guy Amir, Osher Maayan, Tom Zelazny, Guy Katz, Michael Schapira
2023 — conf
Verifying Learning-Based Robotic Navigation Systems.
TACAS (1)
Guy Amir, Davide Corsi, Raz Yerushalmi, Luca Marzari, David Harel, Alessandro Farinelli, Guy Katz
2023 B conf
veriFIRE: Verifying an Industrial, Learning-Based Wildfire Detection System.
FM
Guy Amir, Ziv Freund, Guy Katz, Elad Mandelbaum, Idan Refaeli
2022 J jnl
Constrained Reinforcement Learning for Robotics via Scenario-Based Programming.
CoRR
Davide Corsi, Raz Yerushalmi, Guy Amir, Alessandro Farinelli, David Harel, Guy Katz
2022 — conf
Neural Network Robustness as a Verification Property: A Principled Case Study.
CAV (1)
Marco Casadio, Ekaterina Komendantskaya, Matthew L. Daggitt, Wen Kokke, Guy Katz, Guy Amir, Idan Refaeli
2022 J jnl
Scenario-Assisted Deep Reinforcement Learning.
CoRR
Raz Yerushalmi, Guy Amir, Achiya Elyasaf, David Harel, Guy Katz, Assaf Marron
2022 C conf
Scenario-assisted Deep Reinforcement Learning.
MODELSWARD
Raz Yerushalmi, Guy Amir, Achiya Elyasaf, David Harel, Guy Katz, Assaf Marron
2022 B conf
Verification-Aided Deep Ensemble Selection.
FMCAD
Guy Amir, Tom Zelazny, Guy Katz, Michael Schapira
2022 J jnl
Verification-Aided Deep Ensemble Selection.
CoRR
Guy Amir, Guy Katz, Michael Schapira
2022 J jnl
Verifying Learning-Based Robotic Navigation Systems.
CoRR
Guy Amir, Davide Corsi, Raz Yerushalmi, Luca Marzari, David Harel, Alessandro Farinelli, Guy Katz
2022 J jnl
veriFIRE: Verifying an Industrial, Learning-Based Wildfire Detection System.
CoRR
Guy Amir, Ziv Freund, Guy Katz, Elad Mandelbaum, Idan Refaeli
2021 — conf
An SMT-Based Approach for Verifying Binarized Neural Networks.
TACAS (2)
Guy Amir, Haoze Wu, Clark W. Barrett, Guy Katz
2021 B conf
Towards Scalable Verification of Deep Reinforcement Learning.
FMCAD
Guy Amir, Michael Schapira, Guy Katz
2021 J jnl
Towards Scalable Verification of RL-Driven Systems.
CoRR
Guy Amir, Michael Schapira, Guy Katz
2021 — conf
Use and Perceptions of Multi-Monitor Workstations: A Natural Experiment.
SER&IP@ICSE
Guy Amir, Ayala Prusak, Tal Reiss, Nir Zabari, Dror G. Feitelson
2021 J jnl
Use and Perceptions of Multi-Monitor Workstations: A Natural Experiment.
CoRR
Guy Amir, Ayala Prusak, Tal Reiss, Nir Zabari, Dror G. Feitelson
2020 J jnl
An SMT-Based Approach for Verifying Binarized Neural Networks.
CoRR
Guy Amir, Haoze Wu, Clark W. Barrett, Guy Katz