Data for paper "Zone extrapolations in parametric timed automata"
Introduced 2022-01-06
Contains the current version of IMITATOR, all models and necessary scripts to reproduce all experiments on the benchmarks set.
Contains the current version of IMITATOR, all models and necessary scripts to reproduce all experiments on the benchmarks set.