Skip to main content
zenodoopen

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

<p>This artefact contains the UPPAAL models and raw data from experiments for the paper.</p>

ShareScore

28/100

Overall dataset sharing score

Score breakdown

These five areas show where the dataset supports — or may limit — practical reuse.

Stewardship
4
Harmonization
0
Access
16
Reuse readiness
8
Engagement
0