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

数据集概述

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

文件详解

• 文件名称：aev.zip
• 文件格式：ZIP
• 字段映射介绍：压缩包内包含Storm模型检查器的源码与依赖项、相关工具MultiGain和PRISM-games、论文实验所用的模型文件、实验复现脚本，以及实验过程中生成的原始日志文件。

数据来源

论文“Multi-objective Optimization of Long-run Average and Total Rewards”

适用场景

• 多目标优化算法验证: 用于复现和验证长期平均与总奖励多目标优化算法的性能与结果。
• 模型检查器扩展研究: 分析Storm模型检查器中多目标优化模块的实现逻辑与集成方式。
• 强化学习算法实验复现: 利用提供的模型文件和脚本，复现论文中针对多目标奖励优化的实验。
• 形式化方法工具链研究: 研究Storm、MultiGain、PRISM-games等工具的协同工作机制与依赖关系。