Game-Theoretic Semantics for Alternating-Time Temporal Logic.

Valentin Goranko Antti Kuusisto Raine Rönnholm

Published in: AAMAS (2016)

Keyphrases

alternating time temporal logic
game theoretic
imperfect information
game theory
decision problems
nash equilibrium
trust model
agent programming
nash equilibria
solution concepts
model checking
pure nash equilibrium
lower bound
sufficient conditions
formal semantics
regret minimization