PRISM models, output and timing information for experiments to investigate Information Diffusion in Social Networks

Dennis, Louise and Slavkovik, Marija (2019) PRISM models, output and timing information for experiments to investigate Information Diffusion in Social Networks. [Data Collection]

Data Catalogue DOI: 10.17638/datacat.liverpool.ac.uk/909

Description

This deposit contains model files for the PRISM model-checking tool for a number of experiments exploring information diffusion in social networks described in Dennis and Slavkovik. Model-checking Information Diffusion in Social Networks with PRISM. Submitted to PRIMA 2019. It also contains the output of the PRISM experiments, a number of additional random networks that can be used to modify the models and the results of experiments to investigate the time taken for PRISM to build models and run model-checking as the number of agents in the networks increases.

Keywords:

probabilistic model-checking, PRISM, social networks, information diffusion

Divisions:

Faculty of Science and Engineering > School of Electrical Engineering, Electronics and Computer Science

Depositing User:

Louise Dennis

Date Deposited:

12 Jul 2019 09:26

Last Modified:

12 Jul 2019 09:26

DOI:

10.17638/datacat.liverpool.ac.uk/909