3 citations · 8 across the 9 of their papers we have counts for
1 paper · 2 filters
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…