Certified geometric robustness -- Super-DeepG

Noémie Cohen, Mélanie Ducoffe, Christophe Gabreau +2

Safety-critical applications are required to perform as expected in normal operations. Image processing functions are often required to be insensitive to small geometric perturbati…