A Game Approach to Determinize Timed Automata.
Nathalie BertrandAmélie StainerThierry JéronMoez KrichenPublished in: FoSSaCS (2011)
Keyphrases
- timed automata
- model checking
- reachability analysis
- theorem prover
- computer games
- video games
- game theoretic
- game theory
- educational games
- first order logic
- theorem proving
- temporal logic
- nash equilibrium
- real time systems
- digital games
- game playing
- two player games
- stochastic games
- game play
- knowledge representation
- nash equilibria
- optimal strategy
- game tree search
- mobile games
- monte carlo tree search
- real time strategy games
- neural network