activity
20202026
most citedMonte Carlo Tree Search guided by Symbolic Advice for MDPs

1 citations · 1 across the 3 of their papers we have counts for

collaborators
Showing cs.AIShow all

1 paper · 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…