Verification and Performance Evaluation of Timed Game Strategies.
Alexandre DavidHuixing FangKim Guldstrand LarsenZhengkui ZhangPublished in: FORMATS (2014)
Keyphrases
- optimal strategy
- two player games
- petri net
- repeated games
- model checking
- game theory
- video games
- equilibrium strategies
- colored petri nets
- nash equilibrium
- timed automata
- pursuit evasion
- decision problems
- evaluation function
- game tree
- computer games
- solution concepts
- game based learning
- game tree search
- imperfect information
- formal methods
- case study
- game theoretic
- mobile devices