Skip to main content
Side panel
Home
TICe et Pédagogie
More
English (en)
English (en)
Français (fr)
Log in
Home
TICe et Pédagogie
Course info
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
Manager:
Olivier-henri Roux
Teacher:
Didier Lime
Teacher:
Remi Parrot