Efficient Certification of Spatial Robustness.

Anian Ruoss Maximilian Baader Mislav Balunovic Martin T. Vechev

Published in: CoRR (2020)

Keyphrases

spatio temporal
third party
image processing
search algorithm
neural network
evolutionary algorithm
lightweight
spatial data