Keyphrases
- timed automata
- model checking
- reachability analysis
- theorem prover
- video games
- state space
- game playing
- nash equilibria
- real time systems
- game theory
- computer games
- educational games
- game design
- nash equilibrium
- game theoretic
- transitive closure
- first order logic
- theorem proving
- two player games
- stochastic games
- cooperative game
- weighted majority
- pure nash equilibria
- game play
- leader follower
- monte carlo tree search
- imperfect information
- online game
- temporal logic
- real time
- serious games