1 citations · 1 across the 3 of their papers we have counts for
Showing 2023Show all
2 papers · 1 filter
cs.AI2023
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 +1
We study how to efficiently combine formal methods, Monte Carlo Tree Search (MCTS), and deep learning in order to produce high-quality receding horizon policies in large Markov Dec…
cs.GT2023
Bi-Objective Lexicographic Optimization in Markov Decision Processes with Related Objectives
Damien Busatto-Gaston, Debraj Chakraborty, Anirban Majumdar +3
We consider lexicographic bi-objective problems on Markov Decision Processes (MDPs), where we optimize one objective while guaranteeing optimality of another. We propose a two-stag…