4 papers
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…
How to design a dataset compliant with an ML-based system ODD?
Cyril Cappi, Noémie Cohen, Mélanie Ducoffe +8
This paper focuses on a Vision-based Landing task and presents the design and the validation of a dataset that would comply with the Operational Design Domain (ODD) of a Machine-Le…
VerifIoU -- Robustness of Object Detection to Perturbations
Noémie Cohen, Mélanie Ducoffe, Ryma Boumazouza +4
We introduce a novel Interval Bound Propagation (IBP) approach for the formal verification of object detection models, specifically targeting the Intersection over Union (IoU) metr…
Robustness Assessment of a Runway Object Classifier for Safe Aircraft Taxiing
Yizhak Elboher, Raya Elsaleh, Omri Isac +6
As deep neural networks (DNNs) are becoming the prominent solution for many computational problems, the aviation industry seeks to explore their potential in alleviating pilot work…