@inproceedings{84b87eaf519b43cc97be72606fa4e123,
title = "Efficient Convex Zone Merging in Parametric Timed Automata",
abstract = "Parametric timed automata are a powerful formalism for reasoning on concurrent real-time systems with unknown or uncertain timing constants. Reducing their state space is a significant way to reduce the inherently large analysis times. We present here different merging reduction techniques based on convex union of constraints (parametric zones), allowing to decrease the number of states while preserving the correctness of verification and synthesis results. We perform extensive experiments, and identify the best heuristics in practice, bringing a significant decrease in the computation time on a benchmarks library.",
author = "{\'E}tienne Andr{\'e} and Dylan Marinho and Laure Petrucci and \{van de Pol\}, Jaco",
note = "Publisher Copyright: {\textcopyright} 2022, Springer Nature Switzerland AG.; 20th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2022 ; Conference date: 13-09-2022 Through 15-09-2022",
year = "2022",
month = jan,
day = "1",
doi = "10.1007/978-3-031-15839-1\_12",
language = "English",
isbn = "9783031158384",
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 = "200--218",
editor = "Sergiy Bogomolov and David Parker",
booktitle = "Formal Modeling and Analysis of Timed Systems - 20th International Conference, FORMATS 2022, Proceedings",
}