www.prismmodelchecker.org
[SGDE20] Giorgos Stamatelatos, Sotirios Gyftopoulos, George Drosatos and Pavlos S. Efraimidis. Revealing the political affinity of online entities through their Twitter followers. Information Processing & Management, 57(2), Elsevier. 2020. [Presents methods for analysing the Twitter network, using PRISM as a Markov chain solver.]
Links: [Google] [Google Scholar]

Publications