11 citations · 33 across the 10 of their papers we have counts for
1 paper · 1 filter
Nikola Beneš, Peter Bezděk, Kim G. Larsen +1
Parametric timed automata extend the standard timed automata with the possibility to use parameters in the clock guards. In general, if the parameters are real-valued, the problem…