Deciding All Behavioral Equivalences at Once: A Game for Linear-Time-Branching-Time Spectroscopy.
Benjamin BispingDavid N. JansenUwe NestmannPublished in: Log. Methods Comput. Sci. (2022)
Keyphrases
- x ray
- video games
- temporal logic
- game theory
- temporal reasoning
- educational games
- connected components
- computer games
- worst case
- game playing
- infrared
- model checking
- nash equilibrium
- game theoretic
- game design
- perfect information
- real time strategy games
- game play
- serious games
- relational algebra
- virtual world
- epistemic logic
- monte carlo tree search
- learning games
- role playing
- human behavior
- neural network
- nuclear magnetic resonance
- game tree search
- game development
- game based learning
- optimal strategy
- search algorithm