|
[SBE14]
Khalid Sultan, Jamal Bentahar and Mohamed El-Menshawy.
Model checking probabilistic social commitments for intelligent agent communication.
Applied Soft Computing, 22, pages 397-409, Elsevier.
2014.
[Performs probabilistic model checking of commitments in multi-agent systems via connection to PRISM.]
|
|
Links:
[Google]
[Google Scholar]
|