8 citations · 37 across the 26 of their papers we have counts for
3 papers · 1 filter
Towards Scalable Verification of Deep Reinforcement Learning
Guy Amir, Michael Schapira, Guy Katz
Deep neural networks (DNNs) have gained significant popularity in recent years, becoming the state of the art in a variety of domains. In particular, deep reinforcement learning (D…
Neural Network Robustness as a Verification Property: A Principled Case Study
Marco Casadio, Ekaterina Komendantskaya, Matthew L. Daggitt +4
Neural networks are very successful at detecting patterns in noisy data, and have become the technology of choice in many fields. However, their usefulness is hampered by their sus…
Use and Perceptions of Multi-Monitor Workstations: A Natural Experiment
Guy Amir, Ayala Prusak, Tal Reiss +2
Using multiple monitors is commonly thought to improve productivity, but this is hard to check experimentally. We use a survey, taken by 101 practitioners of which 80% have coded p…