Picture for Damien Busatto-Gaston

Damien Busatto-Gaston

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

Add code
Aug 15, 2023
Viaarxiv icon