@misc{indiciaead6b56366ce3,
  title = {Formally-Sharp DAgger for MCTS: Lower-Latency Monte Carlo Tree Search using Data Aggregation with Formal Methods},
  author = {Debraj Chakraborty and Damien Busatto-Gaston and Jean-François Raskin and Guillermo A. Pérez},
  year = {2023},
  url = {https://arxiv.org/abs/2308.07738},
  note = {Source identifier: 2308.07738}
}