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