• Citer

Automatic Synthesis of Systems with Data: Synthèse Automatique de Systèmes avec Données

par Exibard, Leo
Président du jury Raskin, Jean-François
Promoteur Filiot, Emmanuel ;Reynier, Pierre-Alain
Publication Non publié, 2021-09-20

Thèse de doctorat

• Accès en ligne
• Détails
• Contenu
• Statistiques

Titre:	Automatic Synthesis of Systems with Data: Synthèse Automatique de Systèmes avec Données
Auteur:	Exibard, Leo
Président du jury:	Raskin, Jean-François
Promoteur:	Filiot, Emmanuel; Reynier, Pierre-Alain
Membre du jury:	Figueira, Diego D.F.; Lasota, Slawomir; Bertrand, Nathalie; Kupferman, Orna; Lehtinen, Maria M.K.
Informations sur la publication:	Université libre de Bruxelles, Faculté des Sciences – Informatique, Bruxelles
Date de défense:	2021-09-20
Sujet CREF:	Informatique mathématique
Mots-clés:	Register Automata
	Register Transducers
	Reactive Synthesis
	Church Problem
	Data Words
	Data Domains
	Asynchronous Transducers
	Computability
	Continuity
Intitulé du diplôme:	Option Informatique du Doctorat en Sciences
Langue:	Anglais
Anneé académique:	2021-2022
Institution de co-tutelle:	Aix-Marseille Université (AMU), Sciences, Laboratoire d'Informatique et Systèmes (LIS) - Doctorat en Informatique