Game-Theoretic Semantics for Alternating-Time Temporal Logic.

Valentin Goranko Antti Kuusisto Raine Rönnholm

Published in: CoRR (2016)

Keyphrases

alternating time temporal logic
game theoretic
imperfect information
game theory
decision problems
nash equilibrium
nash equilibria
multi agent
model checking
game playing
agent programming
regret minimization
cooperative
lower bound
resource allocation
trust model