Thèse Spécification Formelle et Validation des Systèmes Basés sur la Perception H/F - Doctorat.Gouv.Fr

Établissement : Institut Polytechnique de Paris École polytechnique École doctorale : Ecole Doctorale de l'Institut Polytechnique de Paris Laboratoire de recherche : LIX - Laboratoire d'informatique Direction de la thèse : Sergio MOVER ORCID 0000000310299547 Début de la thèse : 2025-09-01 Date limite de candidature : 2026-12-31T23:59:59 Les systèmes autonomes perçoivent leur environnement externe à l'aide de capteurs tels que des caméras et des lidars, et utilisent des algorithmes d'apprentissage automatique (par exemple, des réseaux de neurones) pour reconnaître des motifs et des objets. Ces systèmes ayant de nombreuses applications dans des domaines critiques pour la sécurité, où les comportements imprévus peuvent être graves, une question clé est de savoir comment faire confiance à un système basé sur la perception pour qu'il se comporte comme prévu.Cependant, exprimer des exigences formelles pour ces systèmes est un défi, car les entrées des composants d'apprentissage sont riches et non structurées (par exemple, une séquence d'images).Cette thèse visera à :explorer la problématique de la spécification d'exigences formelles pour les systèmes basés sur la perception à l'aide de logiques temporelles, en comblant le fossé entre les caractéristiques brutes et les spécifications dites « sémantiques » ;étudier des algorithmes de raisonnement automatique (par exemple, basés sur la vérification de modèles) pour valider automatiquement ces exigences ;étudier des algorithmes pour vérifier automatiquement des spécifications sémantiques sur des réseaux de neurones. See the attached description.

L'étudiant doit avoir une formation en informatique et être familier avec les méthodes formelles (par exemple, les langages formels, la vérification, etc.). Des connaissances supplémentaires en apprentissage automatique (par exemple, les réseaux de neurones) ne sont pas nécessaires mais peuvent être utiles.

• Machine learning