Artefact for: "Optimal Infinite Temporal Planning: Cyclic Plans for Priced Timed Automata"

Name: Artefact for: "Optimal Infinite Temporal Planning: Cyclic Plans for Priced Timed Automata"
Creator: Zenodo
Published: 2024-03-20T19:07:42+08:00

Zenodo2024-03-20 更新2026-05-26 收录

验证系统

时间自动机规划

数据链接：

https://zenodo.org/doi/10.5281/zenodo.10845669 数据链接链接失效反馈

官方服务：

资源简介：

This artefact contains the UPPAAL models and raw data from experiments for the paper.

提供机构：

Zenodo

创建时间：

2024-03-20

Artefact for: "Optimal Infinite Temporal Planning: Cyclic Plans for Priced Timed Automata"

资源简介：

相关数据集