Robust reachability in timed automata and games: A game-based approach.
Patricia BouyerNicolas MarkeyOcan SankurPublished in: Theor. Comput. Sci. (2015)
Keyphrases
- timed automata
- game theory
- computer games
- video games
- game play
- game playing
- game design
- nash equilibria
- game theoretic
- game development
- nash equilibrium
- coalitional games
- educational games
- serious games
- two player games
- human computation
- game based learning
- simulation game
- game players
- learning games
- imperfect information
- model checking
- cooperative game
- game programming
- reachability analysis
- winning strategy
- game tree search
- board game
- perfect information
- games played
- game engine
- digital games
- online game
- theorem prover
- extensive form games
- multi player
- general game playing
- boolean games
- evaluation function
- stochastic games
- incomplete information
- human players
- repeated games
- monte carlo tree search
- state space
- solution concepts