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: AAMAS (2023)
Keyphrases
- monte carlo tree search
- formal methods
- data aggregation
- monte carlo
- wireless sensor networks
- scheme for wireless sensor networks
- evaluation function
- sensor networks
- formal specification
- energy efficient
- model checking
- knowledge based systems
- artificial intelligence
- game tree
- reinforcement learning methods
- software engineering
- modeling language
- temporal difference
- monte carlo search
- reinforcement learning
- sensor nodes
- temporal difference learning
- data streams
- response time
- knowledge base