-
Optimal_Infinite_Temporal_Planning_PTA循环规划实验数据_压缩包
2026年1月5日 30 137 101
数据集概述 本数据集为论文“Optimal Infinite Temporal Planning: Cyclic Plans for Priced Timed Automata”的配套实验数据,包含用于验证PTA最优无限时间规划方法的UPPAAL模型和实验原始数据,以压缩包形式提供,支持对相关规划算法的复现与分析。 文件详解...
2026年1月5日 30 137 101