Informations
Doctorant au LRDE, membre de l'équipe Spot
Adresse : Bâtiment Paritalie, 18 rue Pasteur, 94270 Le Kremlin-Bicêtre, France
Publications
-
Florian Renkin, Alexandre Duret-Lutz and Adrien Pommellet : Practical "Paritizing" of Emerson-Lei Automata (2020)
(pdf, slides)
Parcours
Doctorat
Algorithmique des ω-automates (2019-2022, LRDE)
-
Transformation de condition d'acceptation quelconque en condition de parité.
Stage
Symbolic learning of regular transformations (2019, IRIF)
-
Concevoir un algorithme d'apprentissage actif pour les transducteurs finis bidirectionnels avec
information d'origine.
-
Concevoir un algorithme d'apprentissage passif pour les transducteurs finis bidirectionnels avec
information d'origine.