Damien Busatto-Gaston

ORCID

Publication Activity (10 Years)

Years Active: 2017-2024
Publications (10 Years): 17

Top Venues

Aix-Marseille University, France (PHD)

Education History

Aix-Marseille University, France

PHD

Publications

Benoît Barbot, Damien Busatto-Gaston, Catalin Dima, Youssouf Oualhadj
Controller Synthesis in Timed Büchi Automata: Robustness and Punctual Guards. CoRR (2024)
Damien Busatto-Gaston, Debraj Chakraborty, Anirban Majumdar, Sayan Mukherjee, Guillermo A. Pérez, Jean-François Raskin
Bi-objective Lexicographic Optimization in Markov Decision Processes with Related Objectives. ATVA (1) (2023)
Damien Busatto-Gaston, Debraj Chakraborty, Anirban Majumdar, Sayan Mukherjee, Guillermo A. Pérez, Jean-François Raskin
Bi-Objective Lexicographic Optimization in Markov Decision Processes with Related Objectives. CoRR (2023)
Debraj Chakraborty, Damien Busatto-Gaston, Jean-François Raskin, Guillermo A. Pérez
Formally-Sharp DAgger for MCTS: Lower-Latency Monte Carlo Tree Search using Data Aggregation with Formal Methods. AAMAS (2023)
Damien Busatto-Gaston, Benjamin Monmege, Pierre-Alain Reynier
Optimal controller synthesis for timed systems. Log. Methods Comput. Sci. 19 (1) (2023)
Debraj Chakraborty, Damien Busatto-Gaston, Jean-François Raskin, Guillermo A. Pérez
Formally-Sharp DAgger for MCTS: Lower-Latency Monte Carlo Tree Search using Data Aggregation with Formal Methods. CoRR (2023)
Benjamin Bordais, Damien Busatto-Gaston, Shibashis Guha, Jean-François Raskin
Strategy Synthesis for Global Window PCTL. ICALP (2022)
Benjamin Bordais, Damien Busatto-Gaston, Shibashis Guha, Jean-François Raskin
Strategy Synthesis for Global Window PCTL. CoRR (2022)
Damien Busatto-Gaston, Debraj Chakraborty, Shibashis Guha, Guillermo A. Pérez, Jean-François Raskin
Safe Learning for Near-Optimal Scheduling. QEST (2021)
Damien Busatto-Gaston, Benjamin Monmege, Pierre-Alain Reynier
Optimal controller synthesis for timed systems. CoRR (2021)
Damien Busatto-Gaston, Debraj Chakraborty, Gilles Geeraerts, Jean-François Raskin
Monte Carlo Tree Search guided by Symbolic Advice for MDPs. CoRR (2020)
Damien Busatto-Gaston, Debraj Chakraborty, Jean-François Raskin
Monte Carlo Tree Search Guided by Symbolic Advice for MDPs. CONCUR (2020)
Damien Busatto-Gaston, Benjamin Monmege, Pierre-Alain Reynier, Ocan Sankur
Robust Controller Synthesis in Timed Büchi Automata: A Symbolic Approach. CAV (1) (2019)
Damien Busatto-Gaston, Benjamin Monmege, Pierre-Alain Reynier
Symbolic Approximation of Weighted Timed Games. CoRR (2018)
Damien Busatto-Gaston, Benjamin Monmege, Pierre-Alain Reynier
Symbolic Approximation of Weighted Timed Games. FSTTCS (2018)
Damien Busatto-Gaston, Benjamin Monmege, Pierre-Alain Reynier
Optimal Reachability in Divergent Weighted Timed Games. CoRR (2017)
Damien Busatto-Gaston, Benjamin Monmege, Pierre-Alain Reynier
Optimal Reachability in Divergent Weighted Timed Games. FoSSaCS (2017)

Damien Busatto-Gaston.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Damien Busatto-Gaston