Login / Signup
Towards the Verification of Strategic Properties in Multi-Agent Systems with Imperfect Information.
Angelo Ferrando
Vadim Malvone
Published in:
AAMAS (2023)
Keyphrases
</>
imperfect information
multi agent systems
game theory
game theoretic
model checking
game tree search
card game
decision making
multi agent
imperfect information games
alternating time temporal logic
learning algorithm
search algorithm