Login / Signup

The Impact of Strategies and Information in Model Checking for Multi-Agent Systems.

Vadim Malvone
Published in: AREA@ECAI (2023)
Keyphrases
  • model checking
  • multi agent systems
  • temporal logic
  • finite state
  • information flow
  • epistemic logic
  • artificial intelligence
  • optimal policy
  • concurrent systems
  • bounded model checking