数据集 - 海数据

Multi_objective_Supplemental_长期平均与总奖励多目标优化实现及实验复现数据

2026年1月3日 30 25 22

数据集概述本数据集是论文《长期平均与总奖励多目标优化》的补充材料，包含该研究的实现代码、模型文件、实验复现脚本及原始日志文件。实现代码已集成到模型检查器Storm中，同时包含Storm的源码、依赖项及相关工具MultiGain和PRISM-games，支持复现论文所有实验。文件详解文件名称：aev.zip 文件格式：ZIP...
- ZIP

智能助手

您好！我是海数据平台的智能助手，有什么可以帮助您的吗？