Vérification formelle de réseaux de neurones quantifiés embarquables · ISAE-ONERA MOIS MOdélisation et Ingénierie des Systèmes, Doctorat · La Géode