Monsieur Damien BUSATTO-GASTON / PhD
enseignant-chercheur, enseignant du supérieur*chercheur en milieu académique*chercheur en entreprise, R&D du secteur privé*
Contact details
Jobs
Research : NON
PhD
Title : Informatique
First registration date : 1 September 2016 / 3A
Doctoral school : Mathématiques et Informatique de Marseille
Thesis defense date : 3 December 2019
Subject : Synthèse symbolique de contrôleurs pour systèmes temporisés: robustesse et optimalité
Thesis supervisor : REYNIER PIERRE-ALAIN
Thesis co-supervisor : MONMEGE Benjamin
Research unit : LIS Laboratoire d'Informatique et Systèmes
Team : Modélisation et Vérification
Master's degree
Title : Master Parisien de Recherche en Informatique
September 2016 - ENS Cachan
Mention : B
Publications
-
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
Languages
Anglais : C1 - Avancé
Français : Maternel