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