www.prismmodelchecker.org
[RRY+24] Maaike Van Roy, Pieter Robberechts, Wen-Chi Yang, Luc De Raedt and Jesse Davis. Leaving Goals on the Pitch: Evaluating Decision Making in Soccer. In MIT Sloan Sports Analytics Conference. 2024. [Analyses the success of decision making and strategies in football using probabilistic model checking and PRISM.]
Links: [Google] [Google Scholar]

Publications