Nonzero-Sum Stochastic Differential Games with Impulse Controls: A Verification Theorem with Applications.
René AïdMatteo BaseiGiorgia CallegaroLuciano CampiTiziano VargioluPublished in: Math. Oper. Res. (2020)
Keyphrases
- game theory
- game theoretic
- educational games
- verification method
- model checking
- video games
- nash equilibria
- game design
- monte carlo
- computer games
- game play
- face verification
- game playing
- stochastic model
- formal methods
- weighted sum
- serious games
- game based learning
- neural network
- game tree
- stochastic optimization
- formal verification
- learning games
- monte carlo tree search
- objective function