文件名称：model-checking-football:足球策略生成的模型检查
文件大小：8.24MB
文件格式：ZIP
更新时间：2024-05-07 13:15:16
Python
足球策略生成的模型检查 格拉斯哥大学软件工程学士学位高级荣誉项目。 数据集可从以下网站获得： : （帕帕拉多，L.，钦蒂亚，P.，罗西，A。等人;一个公共数据集在足球比赛中时空匹配事件的; SCI数据6，236（2019） ） 生成模型： 克隆存储库 从上述数据集中下载“ events_Italy.json”，“ events_France.json”，“ events_Spain.json”，“ events_Germany.json”和“ events_England.json” 在项目根目录中创建一个名为“ data”的目录，并将.json文件放入其中 运行“ code / python / extract_wyscout_data.py”以在“ code / prism /”中生成PRISM文件
【文件预览】：
model-checking-football-main
----dissertation()
--------images()
--------guide_to_visualising.pdf(6.65MB)
--------template.pdf(248KB)
--------fonts()
--------l4proj.bib(1KB)
--------.DS_Store(6KB)
--------.gitignore(146B)
--------README.md(866B)
--------l4proj.tex(22KB)
--------l4proj.cls(8KB)
----timelog.md(2KB)
----code()
--------python()
----.gitignore(232B)
----README.md(779B)