Search Results for author:
Found 3 papers, 0 papers with code
Verification for Object Detection -- IBP IoU
We introduce a novel Interval Bound Propagation (IBP) approach for the formal verification of object detection models, specifically targeting the Intersection over Union (IoU) metric.
Surrogate Neural Networks Local Stability for Aircraft Predictive Maintenance
Surrogate Neural Networks (NN) now routinely serve as substitutes for computationally demanding simulations (e. g., finite element).
Robustness Assessment of a Runway Object Classifier for Safe Aircraft Taxiing
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 workload and in improving operational safety.
Cannot find the paper you are looking for? You can
Submit a new open access paper.
