Damien Busatto-Gaston | DeepAI

AI Chat

Featured Co-authors

Sayan Mukherjee
44 publications
Jean-François Raskin
38 publications
Guillermo A. Perez
32 publications
Shibashis Guha
14 publications
Benjamin Monmege
9 publications
Pierre-Alain Reynier
9 publications
Benjamin Bordais
6 publications
Debraj Chakraborty
4 publications
Anirban Majumdar
3 publications

∙ 08/15/2023

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

We study how to efficiently combine formal methods, Monte Carlo Tree Sea...

0 Debraj Chakraborty, et al. ∙

∙ 05/16/2023

Bi-Objective Lexicographic Optimization in Markov Decision Processes with Related Objectives

We consider lexicographic bi-objective problems on Markov Decision Proce...

0 Damien Busatto-Gaston, et al. ∙

∙ 04/25/2022

Strategy Synthesis for Global Window PCTL

Given a Markov decision process (MDP) M and a formula Φ, the strategy sy...

0 Benjamin Bordais, et al. ∙

∙ 04/26/2021

Optimal controller synthesis for timed systems

Weighted timed games are zero-sum games played by two players on a timed...

0 Damien Busatto-Gaston, et al. ∙

∙ 06/08/2020

Monte Carlo Tree Search guided by Symbolic Advice for MDPs

In this paper, we consider the online computation of a strategy that aim...

0 Damien Busatto-Gaston, et al. ∙

∙ 12/03/2018

Symbolic Approximation of Weighted Timed Games

Weighted timed games are zero-sum games played by two players on a timed...

0 Damien Busatto-Gaston, et al. ∙

Are you a researcher?
Expose your work
to one of the largest
A.I. communities in the world