Manuscripts

Verifying the Generalization of Deep Learning to Out-of-Distribution Domains
Guy Amir, Osher Maayan, Tom Zelazny, Guy Katz, and Michael Schapira
preprint, 2024

On the Complexity of Interpreting Distribution-Driven Explanations
Guy Amir*, Shahaf Bassan*, and Guy Katz
preprint, 2024

A Formal Analysis of Global Explanations
Shahaf Bassan, Guy Amir, and Guy Katz
preprint, 2024

A Unified Approach for Robust Deep Reinforcement Learning via Abstract Neural Networks
Dapeng Zhi, Guy Amir, Shahaf Bassan, Peixin Wang, Si Liu, Chenyang Xu, Guy Katz, and Min Zhang
preprint, 2024

Analyzing Adversarial Inputs in Deep Reinforcement Learning
Davide Corsi, Guy Amir, Guy Katz, and Alessandro Farinelli
preprint, 2024
[paper]

Constrained Reinforcement Learning for Robotics via Scenario-Based Programming
Davide Corsi, Raz Yerushalmi, Guy Amir, Alessandro Farinelli, David Harel, and Guy Katz
preprint, 2024
[paper]

Publications

Safe and Reliable Training of Learning-Based Aircraft Controllers
Udayan Mandal, Guy Amir, Haoze Wu, Ieva Daukantas, Fletcher Lee Newell, Umberto Ravaioli, Baoluo Meng, Michael Richard Durling, Kerianne Hobbs , Guy Katz, and Clark Barrett
Digital Avionics Systems Conference (DASC), 2024

Marabou 2.0: A Versatile Formal Analyzer of Neural Networks
Haoze Wu, Omri Isac, Aleksandar Zeljić, Teruhiro Tagomori, Matthew Daggitt, Wen Kokke, Idan Refaeli, Guy Amir, Shahaf Bassan, Ori Lahav, Min Wu, Min Zhang, Ekaterina Komendantskaya, Guy Katz, and Clark Barrett
Computer Aided Verification (CAV), 2024
[paper]

Efficient and Scalable Verification of Safety-Critical Systems
Guy Amir
Ph.D. Thesis, The Hebrew University of Jerusalem, 2024

Formally Explaining Neural Networks within Reactive Systems
Shahaf Bassan*, Guy Amir*, Davide Corsi, Idan Refaeli, and Guy Katz
Formal Methods in Computer-Aided Design (FMCAD), 2023
[paper] [code]

Verifying Generalization in Deep Learning
Guy Amir*, Osher Maayan*, Tom Zelazny, Guy Katz, and Michael Schapira
Computer Aided Verification (CAV), 2023
[paper] [code]

Verifying Learning-Based Robotic Navigation Systems
Guy Amir*, Davide Corsi*, Raz Yerushalmi, Luca Marzari, David Harel, Alessandro Farinelli, and Guy Katz
Tools and Algorithms for the Construction and Analysis of Systems (TACAS), 2023
[paper] [code] [supplementary video]

Enhancing Deep Reinforcement Learning with Scenario-Based Modeling
Raz Yerushalmi, Guy Amir, Achiya Elyasaf, David Harel, Guy Katz, and Assaf Marron
Springer Nature Computer Science (SNCS), 2023
[paper]

veriFIRE: Verifying an Industrial, Learning-Based Wildfire Detection System
Guy Amir, Ziv Freund, Guy Katz, Elad Mandelbaum and Idan Refaeli
Formal Methods (FM), 2023
[paper]

Micro and Macroevolution of Sea Anemone Venom Phenotype
Edward G. Smith, Joachim M. Surm, Jason Macrander, Adi Simhi, Guy Amir, Maria Y. Sachkova, Magda Lewandowska, Adam M. Reitzel, and Yehu Moran
Nature Communications, 2023
[paper]

Verification-Aided Deep Ensemble Selection
Guy Amir, Tom Zelazny, Guy Katz, and Michael Schapira
Formal Methods in Computer-Aided Design (FMCAD), 2022
[paper] [code]

Neural Network Robustness as a Verification Property: A Principled Case Study
Marco Casadio, Ekaterina Komendantskaya, Mathew Daggitt, Wen Kokke, Guy Katz, Guy Amir, and Idan Refaeli
Computer Aided Verification (CAV), 2022
[paper] [code]

Scenario-Assisted Deep Reinforcement Learning
Raz Yerushalmi, Guy Amir, Achiya Elyasaf, David Harel, Guy Katz, and Assaf Marron
Model-Driven Engineering and Software Development (MODELSWARD), 2022
[paper]

Towards Scalable Verification of Deep Reinforcement Learning
Guy Amir, Michael Schapira, and Guy Katz
Formal Methods in Computer-Aided Design (FMCAD), 2021
[paper] [code]

An SMT-Based Approach for Verifying Binarized Neural Networks
Guy Amir, Haoze Wu, Clark Barrett, and Guy Katz
Tools and Algorithms for the Construction and Analysis of Systems (TACAS), 2021
[paper] [code]

Use and Perceptions of Multi-Monitor Workstations: A Natural Experiment
Guy Amir, Ayala Prusak, Tal Reiss, Nir Zabari, and Dror Feitelson
Software Engineering Research and Industrial Practice (SER & IP), 2021
[paper]

Patents

Training Quantization-Aware AMAC Computing
Guy Amir, Doug Burger, Gilad Kirshenboim, Yehonathan Refael, Ran Sahar
Microsoft R&D - Provisional Patent Pending, 2021

Diffusion-Based Handedness Classification for Touch-Based Input
Guy Amir, Adam Hakim, Aviv Slobodkin
Microsoft R&D - Provisional Patent Pending, 2021