Data for paper "Zone extrapolations in parametric timed automata"

DOI10.5281/zenodo.5824264Zenodo5824264MaRDI QIDQ6724290

Dataset published at Zenodo repository.

Publication date: 6 January 2022

Copyright license: Creative Commons Attribution 4.0 International

Data for paper Zone extrapolations in parametric timed automata This data set comes with two zip files: artifact.zip contains the current version of IMITATOR, all models and necessary scripts to reproduce all experiments on our benchmarks set. A file named README.md gives all instructions for reproducibility. results.zip contains an HTML page with a table summarizing all results, and all raw results (.res) as well.

This page was built for dataset: Data for paper "Zone extrapolations in parametric timed automata"