Damien Busatto-Gaston

Orcid: 0000-0002-7266-0927

According to our database1, Damien Busatto-Gaston authored at least 12 papers between 2017 and 2023.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2023
Optimal controller synthesis for timed systems.
Log. Methods Comput. Sci., 2023

Bi-Objective Lexicographic Optimization in Markov Decision Processes with Related Objectives.
CoRR, 2023

Bi-objective Lexicographic Optimization in Markov Decision Processes with Related Objectives.
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.
Proceedings of the 2023 International Conference on Autonomous Agents and Multiagent Systems, 2023

2022
Strategy Synthesis for Global Window PCTL.
Proceedings of the 49th International Colloquium on Automata, Languages, and Programming, 2022

2021
Safe Learning for Near-Optimal Scheduling.
Proceedings of the Quantitative Evaluation of Systems - 18th International Conference, 2021

2020
Monte Carlo Tree Search guided by Symbolic Advice for MDPs.
CoRR, 2020

Monte Carlo Tree Search Guided by Symbolic Advice for MDPs.
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é).
PhD thesis, 2019

Robust Controller Synthesis in Timed Büchi Automata: A Symbolic Approach.
Proceedings of the Computer Aided Verification - 31st International Conference, 2019

2018
Symbolic Approximation of Weighted Timed Games.
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.
Proceedings of the Foundations of Software Science and Computation Structures, 2017


  Loading...