Sign in
Towards the Verification of Strategic Properties in Multi-Agent Systems with Imperfect Information.
Angelo Ferrando
Vadim Malvone
Published in:
CoRR (2021)
Keyphrases
</>
imperfect information
multi agent systems
game theory
game theoretic
model checking
game playing
game tree search
multi agent
card game
imperfect information games
decision making
nash equilibrium
perfect information
linear programming