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

par Chakraborty, Debraj

;Busatto-Gaston, Damien

;Raskin, Jean-François

;Perez, Guillermo A.

Référence Proceedings of the International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS, 2023-May, page (1354-1362)
Publication Publié, 2023-06-01

Article révisé par les pairs

Documents en relation

DI-fusion

Bi-objective Lexicographic Optimization in Markov Decision Processes with Related Objectives
par Busatto-Gaston, Damien , Chakraborty, Debraj , Majumdar, Anirban , Mukherjee, Sayan , Perez, Guillermo A. , Raskin, Jean-François
Publication 2023-10-22
Monte Carlo Tree Search with Advice
par Chakraborty, Debraj
Publication Faculté des Sciences – Informatique, Bruxelles, Université libre de Bruxelles, 2022-12-20
Strategy Synthesis for Global Window PCTL
par Bordais, Benjamin , Busatto-Gaston, Damien , Guha, Shibashis , Raskin, Jean-François
Publication 2022-07-01
Greybox Learning of Languages Recognizable by Event-Recording Automata
par Majumdar, Anirban , Mukherjee, Sayan , Raskin, Jean-François
Publication 2025
Monte Carlo Tree Search Guided by Symbolic Advice for MDPs
par Busatto-Gaston, Damien , Chakraborty, Debraj , Raskin, Jean-François
Publication 2020-08-31

Référencement	Visibilité	Pérennité	Facilité
Les publications encodées constituent la bibliographie académique de l'Université.	Les documents déposés sont indexés par les moteurs de recherche (Google Scholar,…).	Les documents déposés en open-access sont archivés au sein du réseau de préservation SAFE-PLN (www.safepln.org).	Les listes de publications sont compatibles avec le CV-ULB, le FNRS et accessibles sur le web.