Monsieur Damien BUSATTO-GASTON / Docteur
enseignant-chercheur, enseignant du supérieur*chercheur en milieu académique*chercheur en entreprise, R&D du secteur privé*
Coordonnées
Emplois
Recherche : NON
Doctorat
Titre : Informatique
1ère inscription en thèse : 1 septembre 2016 / 3A
Ecole doctorale : Mathématiques et Informatique de Marseille
Date de soutenance de thèse : 3 décembre 2019
Sujet : Synthèse symbolique de contrôleurs pour systèmes temporisés: robustesse et optimalité
Directeur de thèse : REYNIER PIERRE-ALAIN
Co-directeur : MONMEGE Benjamin
Unité de recherche : LIS Laboratoire d'Informatique et Systèmes
Equipe : Modélisation et Vérification
Master
Titre : Master Parisien de Recherche en Informatique
septembre 2016 - ENS Cachan
Mention : B
Production scientifique
-
Robust Controller Synthesis in Timed Büchi Automata: A Symbolic Approach
2019
Damien Busatto-Gaston, Benjamin Monmege, Pierre-Alain Reynier, Ocan Sankur
https://hal.archives-ouvertes.fr/hal-02264083/document
-
Symbolic Approximation of Weighted Timed Games
2018
Damien Busatto-Gaston, Benjamin Monmege, Pierre-Alain Reynier
https://hal.archives-ouvertes.fr/hal-02014051/document
-
Optimal Reachability in Divergent Weighted Timed Games
2017
Damien Busatto-Gaston, Benjamin Monmege, Pierre-Alain Reynier
https://hal.archives-ouvertes.fr/hal-01522546/document
Langues
Anglais : C1 - Avancé
Français : Maternel