Formally-Sharp DAgger for MCTS: Lower-Latency Monte Carlo Tree Search using Data Aggregation with Formal Methods.
Debraj ChakrabortyDamien Busatto-GastonJean-François RaskinGuillermo A. PérezPublished in: CoRR (2023)
Keyphrases
- monte carlo tree search
- formal methods
- data aggregation
- monte carlo
- wireless sensor networks
- evaluation function
- scheme for wireless sensor networks
- sensor networks
- energy efficient
- knowledge based systems
- artificial intelligence
- model checking
- formal specification
- game tree
- software engineering
- response time
- temporal difference
- monte carlo search
- expert systems
- reinforcement learning methods
- base station
- temporal difference learning
- game playing
- dynamic programming
- search algorithm