LEHAUT Mathieu
Forschungsgruppe : MoVe
Datum, an dem das LIP6 verlassen wurde : 30.06.2021
https://lip6.fr/Mathieu.Lehaut
Forschungsleitung (Direction de recherche) : Béatrice BÉRARD
Co-Betreuung : SZNAJDER Nathalie, Benedikt Bollig (LSV, ENS Paris Saclay)
Synthesis for Parameterized Systems
In this thesis, we study the synthesis problem for distributed systems where the number of participants is not known in advance and in which all participants interact with an uncontrollable environment.
The synthesis problem is about automatically generating a program for such a system that would be correct by construction of a given specification if such a program exists.
We also study the closely related control problem, whose goal is generating a controller for a partially defined system such that all behaviors generated are correct with respect to the specification.
Verteidigung einer Doktorarbeit : 17.12.2020
Mitglieder der Prüfungskommission :
TOUILI Tayssir (Laboratoire d'Informatique de Paris Nord) [Rapportrice]
FILIOT Emmanuel (Université Libre de Bruxelles) [Rapporteur]
MINE Antoine (LIP6)
BERTRAND Nathalie (Centre Inria Rennes-Bretagne Atlantique)
CARAYOL Arnaud (Laboratoire d'Informatique Gaspard Monge)
BERARD Béatrice (LIP6)
BOLLIG Benedikt (Laboratoire Spécification et Vérification)
SZNAJDER Tali (LIP6)