11 citations · 22 across the 3 of their papers we have counts for
1 paper · 1 filter
Étienne André, Vincent Bloemen, Laure Petrucci +1
Parametric timed automata (PTA) extend timed automata by allowing parameters in clock constraints. Such a formalism is for instance useful when reasoning about unknown delays in a…