• Organisation (cours, TD, évaluation)
• Liens (Références)

Organisation

• Cours : Le responsable du cours est Peter Habermehl (adresse e-mail Peter.Habermehl(at)irif.fr, Bureau 3009, Bâtiment Sophie Germain). L'enseignement a lieu le premier semestre dans le cadre du cours 2.16 Modèles de calcul et automates finis (Finite Automata modelling) du MPRI L'horaire du cours est le suivant :
  
  

  Jour	Heure	Salle
  Mercredi	12h45	1002 (SG)

Calendrier et documents :



Jour	Contenu
18 septembre	Introduction, Apprentissage passive
25 septembre	Suite Apprentissage passive
2 octobre	Apprentissage active
9 octobre	Exercises, Apprentissage d'automates symboliques
16 octobre	Apprentissage de machine de Mealy (Slides so far)



• Evaluation :
• L'examen aura lieu le 11 décembre 2024 de 12h45 à 15h45 dans la salle 1002 (L'examen de l'année dernière).
  

  ---

  Liens

• Pour d'autres références, voir transparents.
• Colin de la Higuera. Grammatical Inference. Learning Automata and Grammars Cambridge University Press. 2010 (Page personnelle)
• Sicco Verwer. Efficient Identification of Timed Automata - Theory and Practice PhD Thesis. TU Delft (Netherlands). 2010.
• E Mark Gold. Language identification in the limit. Information and Control 1967
• Dana Angluin. Inference of reversible languages. Journal of the ACM, 1982.
• Lingg et al. Learning from Positive and Negative Examples: New Proof for Binary Alphabets. LearnAut 2022.
• Angluin. Learning regular sets from queries and counter examples. Information and Computation. 1987.
• Angluin et al. Learning Regular Languages via Alternating Automata. IJCAI 2015
• Bollig, Habermehl, Kern, Leucker. Angluin-style learning of NFA. IJCAI 2009.
• Argyros and D'Antoni. The learnability of symbolic automata. CAV 2018.