Techno-Science.net

Les chercheurs du CEA-List, institut de CEA Tech, ont expérimenté une nouvelle approche pour la validation formelle des réseaux de neurones appliqués à la reconnaissance d'image. Leur objectif : rendre plus sûres des fonctionnalités comme la détection de piétons. Comment prouver qu'un réseau de neurones auquel on a « appris » à reconnaître un piéton est fiable ? La validation formelle des réseaux de neurones appliqués à la reconnaissance d'images, impérative dans les sec...