Solving Influence Problems on the DeGroot Model with a Probabilistic Model Checking Tool

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]

@inproceedings{GyftopoulosEK16,
  title = {Solving Influence Problems on the DeGroot Model with a Probabilistic Model Checking Tool},
  author = {Sotirios Gyftopoulos and Pavlos S. Efraimidis and Panagiotis Katsaros},
  year = {2016},
  url = {http://dl.acm.org/citation.cfm?id=3003780},
  researchr = {https://researchr.org/publication/GyftopoulosEK16},
  cites = {0},
  citedby = {0},
  pages = {31},
  booktitle = {Proceedings of the 20th Pan-Hellenic Conference on Informatics, Patras, Greece, November 10-12, 2016},
  publisher = {ACM},
  isbn = {978-1-4503-4789-1},
}