• Citer

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

• Accès en ligne
• Détails
• Contenu
• Statistiques

Titre:	Formally-Sharp DAgger for MCTS: Lower-Latency Monte Carlo Tree Search using Data Aggregation with Formal Methods
Auteur:	Chakraborty, Debraj; Busatto-Gaston, Damien; Raskin, Jean-François; Perez, Guillermo A.
Informations sur la publication:	Proceedings of the International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS, 2023-May, page (1354-1362)
Statut de publication:	Publié, 2023-06-01
Sujet CREF:	Informatique générale
Mots-clés:	Formal methods
	Markov decision processes
	Model checking
	Monte Carlo tree search
	Neural networks
Note générale:	SCOPUS: cp.p
Langue:	Anglais
Identificateurs:	urn:issn:1548-8403
	info:scp/85161601036