DAMIEN BUSATTO-GASTON

I am a postdoc at Université Libre de Bruxelles (ULB), in the research group Formal Methods and Verification. I am working on synthesis problems for Markov decision processes (MDP).

From September 2016 to December 2019, I was a PHD Student at Aix-Marseille Université (AMU), in the Laboratoire d'Informatique et Systemes (LIS), as a member of the team Modelisation and Verification (MOVE). I worked on Weighted Timed Games under the supervision of Benjamin Monmege and Pierre-Alain Reynier.

See my CV (in french, updated 10/2021, english version from 2016) and my PHD thesis.

Publications

My publications can be found on HAL, extended versions are on arXiv.

External list: DBLP

Talks

• Monte Carlo Tree Search for MDPs: Formal Guarantees and Symbolic Advice, GT ALGA 2021, Online, June 2021
• Monte Carlo Tree Search guided by Symbolic Advice for MDPs, Verification Seminar, IRIF, Online, November 2020
• Monte Carlo Tree Search guided by Symbolic Advice for MDPs, Séminaire de l'équipe Méthodes Formelles (MF), LaBRI, Online, September 2020
• Robust Controller Synthesis in Timed Büchi Automata: A Symbolic Approach, CAV 2019, New York City, USA, July 2019
• Robust controller synthesis for Büchi conditions in timed systems, ANR Ticktac Meeting, Rennes, France, April 2019
• Robust controller synthesis for Büchi conditions in timed systems, Seminaire Pole Calcul (LIS), Marseille, France, March 2019
• Symbolic Approximation of Weighted Timed Games, FSTTCS 2018, Ahmedabad, India, December 2018
• Symbolic Approximation of Weighted Timed Games, Highlights '18, Berlin, Germany, September 2018
• Optimal Reachability in Divergent Weighted Timed Games, GT Verif+ALGA 2017, Créteil, France, May 2017
• Optimal Reachability in Divergent Weighted Timed Games, FoSSaCS 2017, Uppsala, Sweden, April 2017
• Optimal Reachability of Diverging Priced Timed Games, MOVEP '16, Genova, Italy, June 2016

Attended Events

• QEST 2021, Online, August 2021
• GT ALGA 2021, Online, June 2021
• Highlights '20, Online, September 2020
• GANDALF '20, Online, September 2020
• CONCUR '20, Online, September 2020
• MOVEP '20, Online, June 2020
• EOS VeriLearn Meeting, Namur, Belgium, December 2019
• Highlights '19, Warsaw, Poland, September 2019
• CAV 2019, New York City, USA, July 2019
• ANR Ticktac Meeting, Rennes, France, April 2019
• GAMENET Workshop - Theory and Algorithms in Graph and Stochastic Games, Mons, Belgium, March 2019
• FSTTCS 2018, Ahmedabad, India, December 2018
• RP'18, Marseille, France, September 2018
• Highlights '18, Berlin, Germany, September 2018
• MOVEP '18, Cachan, France, July 2018
• GT Verif 2018, Grenoble, France, May 2018
• Workshop on the 20th Anniversary of LSV, Cachan, France, May 2017
• GT Verif+ALGA 2017, Créteil, France, May 2017
• ETAPS/FoSSaCS 2017, Uppsala, Sweden, April 2017
• MSR 2017, Marseille, France, November 2017
• MOVEP '16, Genova, Italy, June 2016
• GT ALGA 2016, Marseille, France, April 2016

Reviews

• PC member: TACAS'21 (AE), FORMATS'21, TACAS'22 (AE)
• Subreviewer for international conferences: LPAR'17, FoSSaCS'18, MFCS'18, FORMATS'18, LICS'19, FORMATS'19, STACS'20, Petri Nets'21, FSTTCS'21, CSL'22

I am now teaching at ULB.

• 2019-2020, 2020-2021, 2021-2022:
  • Computability and complexity (Master 1, 12hTD)

I taught the following courses in the Computer Science and Interactions Department of Aix-Marseille Université.

• 2018-2019:
  • Complexité (Master 1, 14hTP)
  • Langages Formels (Licence 2, 15hTD + 6hTP)
  • Mise en oeuvre informatique (Licence 1, 15hTD + 15hTP)
• 2017-2018:
  • Algorithmique Avancée (Licence 3, 20hTD + 20hTP)
  • Systèmes d'exploitation (Licence 3, 20hTD)
• 2016-2017:
  • Algorithmique Avancée (Licence 3, 20hTP)
  • Automates et circuits (Licence 1, 30hTD + 10hTP)

• E-mail: damien.busatto-gaston at ulb.be
• Address: Université Libre de Bruxelles
  Campus de la Plaine
  CP212 - 1050 Bruxelles, Belgium
  Office: 115A (NO building, 8th floor)