Login / Signup
An abstraction-refinement framework for verifying strategic properties in multi-agent systems with imperfect information.
Francesco Belardinelli
Angelo Ferrando
Vadim Malvone
Published in:
Artif. Intell. (2023)
Keyphrases
</>
multi agent systems
imperfect information
imperfect information games
resource allocation
game theory
combinatorial optimization
bounded model checking