Efficient Convex Zone Merging in Parametric Timed Automata

20th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS 2022)
Dylan Marinho
Dylan Marinho
PhD Student

Dylan is a PhD-student at Université de Lorraine, at the IAEM Doctoral School in computer science. He belongs to the VeriDis team of the LORIA and Inria.