Login / Signup
Game-Theoretic Semantics for Alternating-Time Temporal Logic.
Valentin Goranko
Antti Kuusisto
Raine Rönnholm
Published in:
ACM Trans. Comput. Log. (2018)
Keyphrases
</>
alternating time temporal logic
game theoretic
imperfect information
game theory
decision problems
nash equilibrium
solution concepts
agent programming
trust model
combinatorial auctions
nash equilibria
cooperative
multi agent systems
pure nash equilibrium