mCRL2_Based_符号奇偶游戏动态求解技术对比数据

数据集概述

本数据集包含一组mCRL2规格和公式，用于比较符号奇偶游戏的多种动态求解技术。这些技术对应论文《On-The-Fly Solving for Symbolic Parity Games》中的研究内容，数据集以压缩包形式提供，可用于验证不同求解方法的性能与效果。

文件详解

• symbolic-artifact.zip
• 文件格式：ZIP
• 字段映射介绍：压缩包内包含论文研究中使用的mCRL2规格文件与公式文件，具体内容需解压后查看，无公开预览信息。

数据来源

论文《On-The-Fly Solving for Symbolic Parity Games》

适用场景

• 符号奇偶游戏求解技术评估: 对比不同动态求解方法在符号奇偶游戏中的效率与准确性。
• 形式化方法工具验证: 验证mCRL2工具集在符号奇偶游戏求解任务中的应用效果。
• 算法性能分析: 分析动态求解技术在符号系统中的时间复杂度与空间复杂度。
• 形式化验证研究: 支持符号奇偶游戏相关的形式化验证理论与应用研究。