www.prismmodelchecker.org
[GEM22] Saeedeh Sadat Sajjadi Ghaemmaghami, Seyedeh Sepideh Emam and James Miller. Automatically inferring user behavior models in large-scale web applications. Information and Software Technology. 2022. [Learns and analyses behavioural models of web users, with probabilistic models solved using PRISM.]
Links: [Google] [Google Scholar]

Publications