Domaine(s) de recherche
Mot(s)-clé(s)
Algorithmes IA, certification, systèmes probabilistes, vérification
Chercheur(s) actif(s)
-
Josée Desharnais,
Sciences et génie, Département d'informatique et de génie logiciel, responsable du projet
Date de début : 2019-04-01
Date de fin : 2025-03-31
Dernière mise à jour : 14 août 2024
