www.prismmodelchecker.org
[RRY+23] Maaike Van Roy, Pieter Robberechts, Wen-Chi Yang, Luc De Raedt and Jesse Davis. A Markov Framework for Learning and Reasoning About Strategies in Professional Soccer. Journal of Artificial Intelligence Research (JAIR). 2023. [Proposes a technique to learn models of strategies in football and analyses them using probabilistic model checking.]
Links: [Google] [Google Scholar]

Publications