[DS20]
Louise Dennis and Marjia Slavkovik.
Model-Checking Information Diffusion in Social Networks with PRISM.
In Proc. Multi-Agent Systems and Agreement Technologies (EUMAS-AT'20).
2020.
[Presents an approach for modelling and analysing diffusion in social networks using PRISM.]
|
