Optimal_Infinite_Temporal_Planning_PTA循环规划实验数据_压缩包

数据集概述

本数据集为论文“Optimal Infinite Temporal Planning: Cyclic Plans for Priced Timed Automata”的配套实验数据，包含用于验证PTA最优无限时间规划方法的UPPAAL模型和实验原始数据，以压缩包形式提供，支持对相关规划算法的复现与分析。

文件详解

• 文件名称：roc_artefact.zip
• 文件格式：ZIP
• 字段映射介绍：压缩包内包含论文实验所用的UPPAAL模型文件及实验原始数据，具体文件结构和内容需解压后查看，未提供预览信息。

数据来源

论文“Optimal Infinite Temporal Planning: Cyclic Plans for Priced Timed Automata”

适用场景

• 形式化方法研究：用于验证和复现PTA最优无限时间规划算法的实验结果。
• 自动规划算法分析：基于实验原始数据评估循环规划策略的性能与最优性。
• 模型检测工具应用：参考UPPAAL模型的构建方式，拓展PTA在自动验证领域的应用场景。
• 学术研究复现：支持相关领域研究者对论文实验的重复验证与方法改进。