Louise A. Dennis, Marija Slavkovik. Model-Checking Information Diffusion in Social Networks with PRISM. In Nick Bassiliades, Georgios Chalkiadakis, Dave De Jonge, editors, Multi-Agent Systems and Agreement Technologies - 17th European Conference, EUMAS 2020, and 7th International Conference, AT 2020, Thessaloniki, Greece, September 14-15, 2020, Revised Selected Papers. Volume 12520 of Lecture Notes in Computer Science, pages 475-492, Springer, 2020. [doi]
Abstract is missing.