Sotirios Gyftopoulos, Pavlos S. Efraimidis, Panagiotis Katsaros. Solving Influence Problems on the DeGroot Model with a Probabilistic Model Checking Tool. In Proceedings of the 20th Pan-Hellenic Conference on Informatics, Patras, Greece, November 10-12, 2016. pages 31, ACM, 2016. [doi]
Abstract is missing.