Debraj Chakraborty 0002, Damien Busatto-Gaston, Jean-François Raskin, Guillermo A. Pérez 0001. Formally-Sharp DAgger for MCTS: Lower-Latency Monte Carlo Tree Search using Data Aggregation with Formal Methods. In Noa Agmon, Bo An 0001, Alessandro Ricci, William Yeoh 0001, editors, Proceedings of the 2023 International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2023, London, United Kingdom, 29 May 2023 - 2 June 2023. pages 1354-1362, ACM, 2023. [doi]
Abstract is missing.