|
[SBWA14]
Khalid Sultan, Jamal Bentahar, Wei Wan and Faisal Al-Saqqar.
Modeling and verifying probabilistic Multi-Agent Systems using knowledge and social commitments.
Expert Systems with Applications, 41(14), pages 6291-6304, Elsevier.
2014.
[Proposes techniques for analysing probabilistic multi-agent systems, implemented using PRISM.]
|
|
Links:
[Google]
[Google Scholar]
|