@inproceedings{d681d5a46e844d1c961c7e511c66e426,
title = "A Benchmarks Library for Extended Parametric Timed Automata",
abstract = "Parametric timed automata are a powerful formalism for reasoning on concurrent real-time systems with unknown or uncertain timing constants. In order to test the efficiency of new algorithms, a fair set of benchmarks is required. We present an extension of the IMITATOR benchmarks library, that accumulated over the years a number of case studies from academic and industrial contexts. We extend here the library with several dozens of new benchmarks; these benchmarks highlight several new features: liveness properties, extensions of (parametric) timed automata (including stopwatches or multi-rate clocks), and unsolvable toy benchmarks. These latter additions help to emphasize the limits of state-of-the-art parameter synthesis techniques, with the hope to develop new dedicated algorithms in the future.",
keywords = "Case studies, Models, Parametric timed automata",
author = "{\'E}tienne Andr{\'e} and Dylan Marinho and \{van de Pol\}, Jaco",
note = "Publisher Copyright: {\textcopyright} 2021, Springer Nature Switzerland AG.; 15th International Conference on Tests and Proofs, TAP 2021 held as part of Software Technologies: Applications and Foundations, STAF 2021 ; Conference date: 21-06-2021 Through 22-06-2021",
year = "2021",
month = jan,
day = "1",
doi = "10.1007/978-3-030-79379-1\_3",
language = "English",
isbn = "9783030793784",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Science and Business Media Deutschland GmbH",
pages = "39--50",
editor = "Fr{\'e}d{\'e}ric Loulergue and Franz Wotawa",
booktitle = "Tests and Proofs - 15th International Conference, TAP 2021, Held as Part of STAF 2021, Proceedings",
}