Execution-time opacity problems in one-clock parametric timed automata

Étienne André, Johan Arcile, Engel Lefaucheux

Parametric timed automata (PTAs) extend the concept of timed automata, by allowing timing delays not only specified by concrete values but also by parameters, allowing the analysis…