2 papers
cs.LG2020
Metrics and methods for robustness evaluation of neural networks with generative models
Igor Buzhinsky, Arseny Nerinovsky, Stavros Tripakis
Recent studies have shown that modern deep neural network classifiers are easy to fool, assuming that an adversary is able to slightly modify their inputs. Many papers have propose…
cs.FL2015
Automatic Completion of Distributed Protocols with Symmetry
Rajeev Alur, Mukund Raghothaman, Christos Stergiou +2
A distributed protocol is typically modeled as a set of communicating processes, where each process is described as an extended state machine along with fairness assumptions, and i…