Passer au contenu principal
Panneau latéral
Accueil
TICe et Pédagogie
Plus
Français (fr)
English (en)
Français (fr)
Connexion
Accueil
TICe et Pédagogie
Informations du cours
MCIA Model checking et IA
-
Modèles discrets
-Modèles temporisés, paramètrés et à coût -Verification, Synthèse de paramètres, Synthèses de stratégies -Introduction à l'apprentissage profond
Gestionnaire:
Olivier-henri Roux
Enseignant:
Didier Lime
Enseignant:
Remi Parrot