Language Preservation Problems in Parametric Timed Automata

Étienne André, Didier Lime, Nicolas Markey. Language Preservation Problems in Parametric Timed Automata. Logical Methods in Computer Science, 16(1), 2020. [doi]

Abstract

Abstract is missing.