Login / Signup
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