3 citations · 5 across the 5 of their papers we have counts for
1 paper · 1 filter
Étienne André, Didier Lime, Olivier H. Roux
We study timed systems in which some timing features are unknown parameters. Parametric timed automata (PTAs) are a classical formalism for such systems but for which most interest…