TY  - RPRT
TI  - Formally-Sharp DAgger for MCTS: Lower-Latency Monte Carlo Tree Search using Data Aggregation with Formal Methods
AU  - Debraj Chakraborty
AU  - Damien Busatto-Gaston
AU  - Jean-François Raskin
AU  - Guillermo A. Pérez
PY  - 2023
UR  - https://arxiv.org/abs/2308.07738
ID  - 2308.07738
ER  -