Page personnelle

Fateh Boudardara

Doctorant – Railenium

Thèmes :

PPC – Contraintes et SAT

APP – Apprentissage

PRH – Planification et Recherche Heuristique

Mots-clés :

• Safe AI
• Formal Verification methods
• DNN

Modifier vos informations