Étienne André, Dylan Marinho, Laure Petrucci, Jaco van de Pol. Efficient Convex Zone Merging in Parametric Timed Automata. In Sergiy Bogomolov, David Parker 0001, editors, Formal Modeling and Analysis of Timed Systems - 20th International Conference, FORMATS 2022, Warsaw, Poland, September 13-15, 2022, Proceedings. Volume 13465 of Lecture Notes in Computer Science, pages 200-218, Springer, 2022. [doi]
Abstract is missing.