Projets par an
Projets
- 2 Terminé
Résultats de recherche
-
LIFTS: Apprentissage de Featured Transition Systems
Fortz, S., Perrouin, G. & Heymans, P.
1/10/20 → 31/12/21
Projet: Recherche
-
VeriLearn: Verifying Learning Artificial Intelligence Systems
Heymans, P., Frénay, B., Schobbens, P. Y., Temple, P., Nanfack, G., Amrani, M. & Bibal, A.
1/01/18 → 31/12/22
Projet: Recherche