Efficient Convex Zone Merging in Parametric Timed Automata

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

Dylan est en préparation d’un doctorat au sein de l'Université de Lorraine et de l’école doctorale IAEM en Science Informatique. Il est rattaché à l’équipe VeriDis du LORIA et de l'Inria.

Sur le même sujet