%0 Conference Paper %1 conf/atal/0002BR023 %A Chakraborty, Debraj %A Busatto-Gaston, Damien %A Raskin, Jean-François %A Pérez, Guillermo A. %B AAMAS %D 2023 %E Agmon, Noa %E An, Bo %E Ricci, Alessandro %E Yeoh, William %I ACM %K dblp %P 1354-1362 %T Formally-Sharp DAgger for MCTS: Lower-Latency Monte Carlo Tree Search using Data Aggregation with Formal Methods. %U http://dblp.uni-trier.de/db/conf/atal/aamas2023.html#0002BR023 %@ 978-1-4503-9432-1

@inproceedings{conf/atal/0002BR023, added-at = {2023-05-23T00:00:00.000+0200}, author = {Chakraborty, Debraj and Busatto-Gaston, Damien and Raskin, Jean-François and Pérez, Guillermo A.}, biburl = {https://www.bibsonomy.org/bibtex/2929aa3ea84e5cab4f1fdbb8208458cfc/dblp}, booktitle = {AAMAS}, crossref = {conf/atal/2023}, editor = {Agmon, Noa and An, Bo and Ricci, Alessandro and Yeoh, William}, ee = {https://dl.acm.org/doi/10.5555/3545946.3598783}, interhash = {f8388cc47c41fdafc2ecacbcdb9ebfbd}, intrahash = {929aa3ea84e5cab4f1fdbb8208458cfc}, isbn = {978-1-4503-9432-1}, keywords = {dblp}, pages = {1354-1362}, publisher = {ACM}, timestamp = {2024-04-10T02:25:21.000+0200}, title = {Formally-Sharp DAgger for MCTS: Lower-Latency Monte Carlo Tree Search using Data Aggregation with Formal Methods.}, url = {http://dblp.uni-trier.de/db/conf/atal/aamas2023.html#0002BR023}, year = 2023 }