Game Characterizations of Timed Relations for Timed Automata Processes
Shibashis GuhaShankara Narayanan KrishnaPublished in: CoRR (2012)
Keyphrases
- timed automata
- model checking
- theorem prover
- reachability analysis
- theorem proving
- first order logic
- game theory
- video games
- real time systems
- game design
- game theoretic
- temporal logic
- computer games
- game based learning
- game playing
- semantic relations
- bayesian networks
- imperfect information
- mobile games
- monte carlo tree search
- virtual world
- low cost