• Towards Scalable Verification of Deep Reinforcement Learning

    Guy Amir, Michael Schapira and Guy Katz

    To appear in:
    Proc. 21st Int. Conf. on Formal Methods in Computer-Aided Design (FMCAD);
    New Haven, Connecticut, USA, October 2021


  • An SMT-Based Apprach 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 Prusalk, 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