L'équipe LILaC propose un stage de Master d'une durée de 5-6 mois à février-mars 2019. Ce stage a pour objet de construire un joueur pour le challenge "General Game Playing" et mettant en oeuvre un volet "Raisonnement Stratégique"
mots clefs
----------
General Game Playing, Game Description Logic, Logique ATL, Model Checking