-
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
Proc. 34th Int. Conf. on Computer Aided Verification (CAV);
Haifa, Israel, August 2022To appear
-
Verification-Aided Deep Ensemble Selection
Guy Amir, Guy Katz and Michael Schapira
Arxiv Technical Report, February 2022 -
Scenario-Assisted Deep Reinforcement Learning
Raz Yerushalmi, Guy Amir, Achiya Elyasaf, David Harel, Guy Katz and Assaf Marron
Proc. 10th Int. Conf. on Model-Driven Engineering and Software Development (MODELSWARD), pp. 310-319;
Virtual Event, February 2022 -
Towards Scalable Verification of Deep Reinforcement Learning
Guy Amir, Michael Schapira and Guy Katz
Proc. 21st Int. Conf. on Formal Methods in Computer-Aided Design (FMCAD), pp. 193-203;
New Haven, Connecticut, USA, October 2021 -
An SMT-Based Approach for Verifying Binarized Neural Networks
Guy Amir, Haoze Wu, Clark Barrett and Guy Katz
Proc. 27th Int. Conf. on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), pp. 203-222;
Luxembourg, Luxembourg, April 2021 -
Use and Perceptions of Multi-Monitor Workstations: A Natural Experiment
Guy Amir, Ayala Prusak, Tal Reiss, Nir Zabari and Dror Feitelson
Proc. 8th Int. Workshop on Software Engineering Research and Industrial Practice (SER & IP), pp. 29-36;
Madrid, Spain, June 2021