–
Thèmes :
PPC – Contraintes et SAT
APP – Apprentissage
PRH – Planification et Recherche Heuristique
Mots-clés :
- Safe AI
- Formal Verification methods
- DNN
–
PPC – Contraintes et SAT
APP – Apprentissage
PRH – Planification et Recherche Heuristique