Deciding All Behavioral Equivalences at Once: A Game for Linear-time-Branching-time Spectroscopy.
Benjamin BispingUwe NestmannPublished in: CoRR (2021)
Keyphrases
- game theory
- x ray
- connected components
- computer games
- game playing
- infrared
- temporal reasoning
- game play
- temporal logic
- pursuit evasion
- human behavior
- electron microscopy
- game theoretic
- game design
- virtual world
- prospect theory
- nash equilibria
- nash equilibrium
- game tree search
- video games
- decision making
- digital games
- relational algebra
- epistemic logic
- board game
- monte carlo tree search
- cooperative game
- model checking