Optimal Reachability in Divergent Weighted Timed Games. - Damien Busatto-Gaston; Benjamin Monmege; Pierre-Alain Reynier (FoSSaCS, 2017)

Symbolic Approximation of Weighted Timed Games. - Damien Busatto-Gaston; Benjamin Monmege; Pierre-Alain Reynier (FSTTCS, 2018)

Robust Controller Synthesis in Timed Büchi Automata: A Symbolic Approach. - Damien Busatto-Gaston; Benjamin Monmege; Pierre-Alain Reynier; Ocan Sankur (CAV (1), 2019)

Symbolic controller synthesis for timed systems: robustness and optimality. (Synthèse symbolique de contrôleurs pour systèmes temporisés: robustesse et optimalité). - Damien Busatto-Gaston (2019)

Monte Carlo Tree Search Guided by Symbolic Advice for MDPs. - Damien Busatto-Gaston; Debraj Chakraborty 002; Jean-François Raskin (CONCUR, 2020)

Monte Carlo Tree Search guided by Symbolic Advice for MDPs. - Damien Busatto-Gaston; Debraj Chakraborty 002; Gilles Geeraerts; Jean-François Raskin (CoRR, 2020)

Safe Learning for Near-Optimal Scheduling. - Damien Busatto-Gaston; Debraj Chakraborty 002; Shibashis Guha; Guillermo A. Pérez 001; Jean-François Raskin (QEST, 2021)

Strategy Synthesis for Global Window PCTL. - Benjamin Bordais; Damien Busatto-Gaston; Shibashis Guha; Jean-François Raskin (ICALP, 2022)

Formally-Sharp DAgger for MCTS: Lower-Latency Monte Carlo Tree Search using Data Aggregation with Formal Methods. - Debraj Chakraborty 002; Damien Busatto-Gaston; Jean-François Raskin; Guillermo A. Pérez 001 (AAMAS, 2023)

Bi-objective Lexicographic Optimization in Markov Decision Processes with Related Objectives. - Damien Busatto-Gaston; Debraj Chakraborty 002; Anirban Majumdar 002; Sayan Mukherjee 002; Guillermo A. Pérez 001; Jean-François Raskin (ATVA (1), 2023)

Optimal controller synthesis for timed systems. - Damien Busatto-Gaston; Benjamin Monmege; Pierre-Alain Reynier (Log. Methods Comput. Sci., 2023)

Promptness and Fairness in Muller LTL Formulas. - Damien Busatto-Gaston; Youssouf Oualhadj; Léo Tible; Daniele Varacca (FSTTCS, 2024)

Controller synthesis in timed Büchi automata: Robustness and punctual guards. - Benoît Barbot; Damien Busatto-Gaston; Catalin Dima; Youssouf Oualhadj (Perform. Evaluation, 2025)