Mathias Ramparison. On the theory and practice of updatable parametric timed automata. (Sur la théorie et l'application des automates paramétrés temporisés avec mises à jour). PhD thesis, Paris 13 University, Villetaneuse, France, 2019. [doi]
Abstract is missing.