mCRL2_Based_符号奇偶游戏动态求解技术对比数据
收藏海数据2026-05-02 收录
下载链接：
https://haidatas.com/dataset/mcrl2_based_fuhaojiouyouxidongtaiqiujiejis_12315e71
下载链接
链接失效反馈官方服务：
资源简介：
本数据集包含一组mCRL2规格和公式，用于比较符号奇偶游戏的多种动态求解技术。这些技术对应论文《On-The-Fly Solving for Symbolic Parity Games》中的研究内容，数据集以压缩包形式提供，可用于验证不同求解方法的性能与效果。 论文《On-The-Fly Solving for Symbolic Parity Games》
提供机构：
公开数据
创建时间：
2026-01-30
