A Game for Linear-time-Branching-time Spectroscopy.
Benjamin BispingUwe NestmannPublished in: TACAS (1) (2021)
Keyphrases
- temporal reasoning
- infrared
- x ray
- educational games
- nash equilibrium
- video games
- computer games
- game theory
- temporal logic
- virtual world
- game design
- game playing
- game theoretic
- game play
- stochastic games
- real time strategy games
- nuclear magnetic resonance
- model checking
- worst case
- upper bound
- cooperative
- optimal strategy
- online game
- imperfect information
- learning algorithm
- game based learning
- game development
- video sequences
- game tree search
- game players
- mobile games
- data structure