49 citations · 223 across the 35 of their papers we have counts for
1 paper · 2 filters
Liyun Dai, Bo Liu, Zhiming Liu +1
We consider the parameter synthesis problem of parametric timed automata (PTAs). The problem is, given a PTA and a property, to compute the set of valuations of the parameters unde…