A Unifying Approach to Decide Relations for Timed Automata and their Game Characterization.
Shibashis GuhaShankara Narayanan KrishnaChinmay NarayanS. Arun-KumarPublished in: EXPRESS/SOS (2013)
Keyphrases
- timed automata
- model checking
- reachability analysis
- theorem prover
- video games
- theorem proving
- game theoretic
- first order logic
- game theory
- nash equilibrium
- game playing
- computer games
- temporal logic
- virtual world
- real time systems
- real time
- educational games
- game play
- software engineering
- game design
- knowledge representation
- cooperative
- game development
- role playing
- reinforcement learning
- artificial intelligence