A Framework for Verification of Wasserstein Adversarial Robustness.

Tobias Wegel Felix Assion David Mickisch Florens Greßner

Published in: CoRR (2021)

Keyphrases

lightweight
real time
neural network
genetic algorithm
feature selection
website
database systems
relational databases
data model
main contribution
computational model
theoretical framework
model checking
computational efficiency