Search Results for author:
Found 3 papers, 1 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.
Certification of embedded systems based on Machine Learning: A survey
Advances in machine learning (ML) open the way to innovating functions in the avionic domain, such as navigation/surveillance assistance (e. g. vision-based navigation, obstacle sensing, virtual sensing), speechto-text applications, autonomous flight, predictive maintenance or cockpit assistance.
White Paper Machine Learning in Certified Systems
Machine Learning (ML) seems to be one of the most promising solution to automate partially or completely some of the complex tasks currently realized by humans, such as driving vehicles, recognizing voice, etc.
Cannot find the paper you are looking for? You can
Submit a new open access paper.
