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.