Data for paper "Efficient Convex Zone Merging in Parametric Timed Automata"
From MaRDI portal
Dataset:6705353
DOI10.5281/zenodo.6806915Zenodo6806915MaRDI QIDQ6705353FDOQ6705353
Dataset published at Zenodo repository.
Dylan Marinho, Jaco van de Pol, Étienne André, Laure Petrucci
Publication date: 7 July 2022
Copyright license: Creative Commons Attribution 4.0 International
This is the experimental data for paper Efficient Convex Zone Merging in Parametric Timed Automata It comes in the form of two archives: merging-artifact.zip: the whole set of benchmarks with the scripts to run merging-artifact-FORMATS22-results.zip: all results executed 5 times
This page was built for dataset: Data for paper "Efficient Convex Zone Merging in Parametric Timed Automata"
