Monte Carlo Tree Search for Priced Timed Automata.
Peter Gjøl JensenAndrej KivirigaKim Guldstrand LarsenUlrik NymanAdriana MijacikaJeppe Høiriis MortensenPublished in: QEST (2022)
Keyphrases
- monte carlo tree search
- timed automata
- monte carlo
- model checking
- tree search algorithm
- reachability analysis
- bayesian reinforcement learning
- evaluation function
- theorem prover
- theorem proving
- monte carlo search
- first order logic
- game tree
- real time systems
- alpha beta search
- search space
- temporal difference learning
- temporal difference
- markov chain