119 citations · 128 across the 12 of their papers we have counts for
4 papers · 1 filter
Minimal Multi-Layer Modifications of Deep Neural Networks
Idan Refaeli, Guy Katz
Deep neural networks (DNNs) have become increasingly popular in recent years. However, despite their many successes, DNNs may also err and produce incorrect and potentially fatal o…
Pruning and Slicing Neural Networks using Formal Verification
Ori Lahav, Guy Katz
Deep neural networks (DNNs) play an increasingly important role in various computer systems. In order to create these networks, engineers typically specify a desired topology, and…
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…
Towards Repairing Scenario-Based Models with Rich Events
Guy Katz
Repairing legacy systems is a difficult and error-prone task: often, limited knowledge of the intricacies of these systems could make an attempted repair result in new errors. Cons…