Damien Busatto-Gaston

According to our database, Damien Busatto-Gaston authored at least 13 papers between 2017 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Controller Synthesis in Timed Büchi Automata: Robustness and Punctual Guards.

Benoît Barbot, Damien Busatto-Gaston, Catalin Dima, Youssouf Oualhadj

Proceedings of the Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems, 2024

Promptness and Fairness in Muller LTL Formulas.

Damien Busatto-Gaston, Youssouf Oualhadj, Léo Tible, Daniele Varacca

Proceedings of the 44th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2024

2023

Optimal controller synthesis for timed systems.

Damien Busatto-Gaston, Benjamin Monmege, Pierre-Alain Reynier

Log. Methods Comput. Sci., 2023

Bi-objective Lexicographic Optimization in Markov Decision Processes with Related Objectives.

Damien Busatto-Gaston, Debraj Chakraborty, Anirban Majumdar, Sayan Mukherjee, Guillermo A. Pérez, Jean-François Raskin

Proceedings of the Automated Technology for Verification and Analysis, 2023

Formally-Sharp DAgger for MCTS: Lower-Latency Monte Carlo Tree Search using Data Aggregation with Formal Methods.

Debraj Chakraborty, Damien Busatto-Gaston, Jean-François Raskin, Guillermo A. Pérez

Proceedings of the 2023 International Conference on Autonomous Agents and Multiagent Systems, 2023

2022

Strategy Synthesis for Global Window PCTL.

Benjamin Bordais, Damien Busatto-Gaston, Shibashis Guha, Jean-François Raskin

Proceedings of the 49th International Colloquium on Automata, Languages, and Programming, 2022

2021

Safe Learning for Near-Optimal Scheduling.

Damien Busatto-Gaston, Debraj Chakraborty, Shibashis Guha, Guillermo A. Pérez, Jean-François Raskin

Proceedings of the Quantitative Evaluation of Systems - 18th International Conference, 2021

2020

Monte Carlo Tree Search guided by Symbolic Advice for MDPs.

Damien Busatto-Gaston, Debraj Chakraborty, Gilles Geeraerts, Jean-François Raskin

CoRR, 2020

Monte Carlo Tree Search Guided by Symbolic Advice for MDPs.

Damien Busatto-Gaston, Debraj Chakraborty, Jean-François Raskin

Proceedings of the 31st International Conference on Concurrency Theory, 2020

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

PhD thesis, 2019

Robust Controller Synthesis in Timed Büchi Automata: A Symbolic Approach.

Damien Busatto-Gaston, Benjamin Monmege, Pierre-Alain Reynier, Ocan Sankur

Proceedings of the Computer Aided Verification - 31st International Conference, 2019

2018

Symbolic Approximation of Weighted Timed Games.

Damien Busatto-Gaston, Benjamin Monmege, Pierre-Alain Reynier

Proceedings of the 38th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2018

2017

Optimal Reachability in Divergent Weighted Timed Games.

Damien Busatto-Gaston, Benjamin Monmege, Pierre-Alain Reynier

Proceedings of the Foundations of Software Science and Computation Structures, 2017