Login / Signup

An abstraction-refinement framework for verifying strategic properties in multi-agent systems with imperfect information.

Francesco BelardinelliAngelo FerrandoVadim Malvone
Published in: Artif. Intell. (2023)
Keyphrases
  • multi agent systems
  • imperfect information
  • imperfect information games
  • resource allocation
  • game theory
  • combinatorial optimization
  • bounded model checking