Keyphrases
- timed automata
- model checking
- reachability analysis
- theorem prover
- video games
- computer games
- game playing
- first order logic
- game theory
- theorem proving
- standard deviation
- game theoretic
- pure nash equilibria
- real time
- stochastic games
- game development
- nash equilibria
- real time systems
- game play
- educational games
- temporal logic
- learning algorithm