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