zenodoopen
Data for paper "Efficient Convex Zone Merging in Parametric Timed Automata"
<p>This is the experimental data for paper "Efficient Convex Zone Merging in Parametric Timed Automata"</p> <p>It comes in the form of two archives:</p> <ol> <li><strong>merging-artifact.zip</strong>: the whole set of benchmarks with the scripts to run</li> <li><strong>merging-artifact-FORMATS22-results.zip</strong>: all results executed 5 times</li> </ol>
ShareScore
44/100
Overall dataset sharing score
Score breakdown
These five areas show where the dataset supports — or may limit — practical reuse.
- Stewardship
- 8
- Harmonization
- 4
- Access
- 16
- Reuse readiness
- 8
- Engagement
- 8