Login / Signup
Parameterised Verification of Strategic Properties in Probabilistic Multi-Agent Systems.
Alessio Lomuscio
Edoardo Pirovano
Published in:
AAMAS (2020)
Keyphrases
</>
multi agent systems
probabilistic model
real time
multi agent
decision making
bayesian networks
trust model
agent technology
coalition formation
data sets
data driven
generative model
formal methods
agent systems