TITRE DE LA THÈSE : « A Forward on-the-fly Approach for Safety and Reachability Controller Synthesis of Timed Systems »

JURY:

PRÉSIDENT : M. Alejandro Quintero, Doct.

DIRECTRICE DE RECHERCHE : Mme Hanifa Boucheneb, Doctorat

MEMBRE : M. Giovanni Beltrame, Ph.D.

MEMBRE EXTERNE : M. Jamal Bentahar, Ph.D.

REPRÉSENTANTE DU DIRECTEUR DES ÉTUDES SUPÉRIEURES : Mme Nadia Lahrichi, Ph.D.

BIENVENUE À TOUS!