• 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