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]

No reviews for this publication, yet.