A game approach to determinize timed automata.
Nathalie BertrandAmélie StainerThierry JéronMoez KrichenPublished in: Formal Methods Syst. Des. (2015)
Keyphrases
- timed automata
- model checking
- reachability analysis
- game playing
- computer games
- video games
- theorem prover
- nash equilibrium
- game theoretic
- game play
- game theory
- educational games
- theorem proving
- first order logic
- game development
- data sets
- real time systems
- game based learning
- game design
- serious games
- role playing
- neural network
- game tree search
- online game
- virtual world
- imperfect information
- coalitional games
- pursuit evasion
- artificial intelligence
- pac man