Verifying the Gaming Strategy of Self-learning Game by Using PRISM-Games (Q5117304)
From MaRDI portal
scientific article; zbMATH DE number 7237742
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Verifying the Gaming Strategy of Self-learning Game by Using PRISM-Games |
scientific article; zbMATH DE number 7237742 |
Statements
Verifying the Gaming Strategy of Self-learning Game by Using PRISM-Games (English)
0 references
20 August 2020
0 references
reinforcement learning
0 references
Monte Carlo tree search
0 references
model checking
0 references
PRISM-games
0 references
