• 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 2022

    ​To 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