Formal analysis of DeGroot Influence Problems using probabilistic model checking

Sotirios Gyftopoulos, Pavlos S. Efraimidis, Panagiotis Katsaros. Formal analysis of DeGroot Influence Problems using probabilistic model checking. Simulation Modelling Practice and Theory, 89:144-159, 2018. [doi]

Authors

Sotirios Gyftopoulos

This author has not been identified. Look up 'Sotirios Gyftopoulos' in Google

Pavlos S. Efraimidis

This author has not been identified. Look up 'Pavlos S. Efraimidis' in Google

Panagiotis Katsaros

This author has not been identified. Look up 'Panagiotis Katsaros' in Google