Reachability-Time Games on Timed Automata.
Marcin JurdzinskiAshutosh TrivediPublished in: ICALP (2007)
Keyphrases
- timed automata
- model checking
- reachability analysis
- theorem prover
- video games
- state space
- game play
- computer games
- theorem proving
- game playing
- game theory
- first order logic
- real time systems
- educational games
- weighted majority
- coalitional games
- nash equilibrium
- data sets
- monte carlo tree search
- game tree search
- nash equilibria
- machine learning
- knowledge representation
- imperfect information
- learning games
- perfect information
- neural network
- real time