Damien Busatto-Gaston

21 papers A* 1A 1B 2Journal 10Unranked 6
YearRankTypeTitle / Venue / Authors
2025 J jnl
Controller synthesis in timed Büchi automata: Robustness and punctual guards.
Perform. Evaluation
Benoît Barbot, Damien Busatto-Gaston, Catalin Dima, Youssouf Oualhadj
2024 — conf
Controller Synthesis in Timed Büchi Automata: Robustness and Punctual Guards.
QEST+FORMATS
Benoît Barbot, Damien Busatto-Gaston, Catalin Dima, Youssouf Oualhadj
2024 J jnl
Controller Synthesis in Timed Büchi Automata: Robustness and Punctual Guards.
CoRR
Benoît Barbot, Damien Busatto-Gaston, Catalin Dima, Youssouf Oualhadj
2024 — conf
Promptness and Fairness in Muller LTL Formulas.
FSTTCS
Damien Busatto-Gaston, Youssouf Oualhadj, Léo Tible, Daniele Varacca
2023 J jnl
Bi-Objective Lexicographic Optimization in Markov Decision Processes with Related Objectives.
CoRR
Damien Busatto-Gaston, Debraj Chakraborty, Anirban Majumdar, Sayan Mukherjee, Guillermo A. Pérez, Jean-François Raskin
2023 — conf
Bi-objective Lexicographic Optimization in Markov Decision Processes with Related Objectives.
ATVA (1)
Damien Busatto-Gaston, Debraj Chakraborty, Anirban Majumdar, Sayan Mukherjee, Guillermo A. Pérez, Jean-François Raskin
2023 A conf
Formally-Sharp DAgger for MCTS: Lower-Latency Monte Carlo Tree Search using Data Aggregation with Formal Methods.
AAMAS
Debraj Chakraborty, Damien Busatto-Gaston, Jean-François Raskin, Guillermo A. Pérez
2023 J jnl
Formally-Sharp DAgger for MCTS: Lower-Latency Monte Carlo Tree Search using Data Aggregation with Formal Methods.
CoRR
Debraj Chakraborty, Damien Busatto-Gaston, Jean-François Raskin, Guillermo A. Pérez
2023 J jnl
Optimal controller synthesis for timed systems.
Log. Methods Comput. Sci.
Damien Busatto-Gaston, Benjamin Monmege, Pierre-Alain Reynier
2022 A* conf
Strategy Synthesis for Global Window PCTL.
ICALP
Benjamin Bordais, Damien Busatto-Gaston, Shibashis Guha, Jean-François Raskin
2022 J jnl
Strategy Synthesis for Global Window PCTL.
CoRR
Benjamin Bordais, Damien Busatto-Gaston, Shibashis Guha, Jean-François Raskin
2021 J jnl
Optimal controller synthesis for timed systems.
CoRR
Damien Busatto-Gaston, Benjamin Monmege, Pierre-Alain Reynier
2021 — conf
Safe Learning for Near-Optimal Scheduling.
QEST
Damien Busatto-Gaston, Debraj Chakraborty, Shibashis Guha, Guillermo A. Pérez, Jean-François Raskin
2020 B conf
Monte Carlo Tree Search Guided by Symbolic Advice for MDPs.
CONCUR
Damien Busatto-Gaston, Debraj Chakraborty, Jean-François Raskin
2020 J jnl
Monte Carlo Tree Search guided by Symbolic Advice for MDPs.
CoRR
Damien Busatto-Gaston, Debraj Chakraborty, Gilles Geeraerts, Jean-François Raskin
2019 — conf
Robust Controller Synthesis in Timed Büchi Automata: A Symbolic Approach.
CAV (1)
Damien Busatto-Gaston, Benjamin Monmege, Pierre-Alain Reynier, Ocan Sankur
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
2018 — conf
Symbolic Approximation of Weighted Timed Games.
FSTTCS
Damien Busatto-Gaston, Benjamin Monmege, Pierre-Alain Reynier
2018 J jnl
Symbolic Approximation of Weighted Timed Games.
CoRR
Damien Busatto-Gaston, Benjamin Monmege, Pierre-Alain Reynier
2017 B conf
Optimal Reachability in Divergent Weighted Timed Games.
FoSSaCS
Damien Busatto-Gaston, Benjamin Monmege, Pierre-Alain Reynier
2017 J jnl
Optimal Reachability in Divergent Weighted Timed Games.
CoRR
Damien Busatto-Gaston, Benjamin Monmege, Pierre-Alain Reynier