• Towards Scalable Verification of RL-Driven Systems

    Guy Amir, Michael Schapira and Guy Katz

    Currently Under Review [PDF]

  • 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); Luxembourg, Luxembourg, April 2021 [PDF]

  • 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); June 2021 [PDF]