Concurrent Separation Logic Meets Template Games.
Paul-André MellièsLéo StefanescoPublished in: LICS (2020)
Keyphrases
- logic programming
- nash equilibrium
- template matching
- automated reasoning
- video games
- game theory
- computational properties
- nash equilibria
- game design
- educational games
- computer games
- game playing
- learning agents
- game players
- weighted majority
- winning strategy
- game theoretic
- cooperative
- multi valued
- matching algorithm
- predicate logic
- deontic logic
- mutual exclusion
- proof theory