www.prismmodelchecker.org
[CRD+23] Jeroen Clijmans, Maaike Van Roy and Jesse Davis. Looking Beyond the Past: Analyzing the Intrinsic Playing Style of Soccer Teams. In Proc. Joint European Conference on Machine Learning and Knowledge Discovery in Databases (ECML/PKDD'22). 2022. [Models and analyses styles of play in football using probabilistic model checking and PRISM. ]
Links: [Google] [Google Scholar]

Publications