Login / Signup
Verification of Multi-agent Systems with Imperfect Information and Public Actions.
Francesco Belardinelli
Alessio Lomuscio
Aniello Murano
Sasha Rubin
Published in:
AAMAS (2017)
Keyphrases
</>
imperfect information
multi agent systems
game theory
game theoretic
game tree search
imperfect information games
game playing
perfect information
card game
model checking
multi agent
nash equilibrium
game tree
cooperative
stochastic games
alternating time temporal logic
resource allocation
decision making