数据集 - 海数据

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

2026年1月5日 30 19 17

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

智能助手

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