11 citations · 11 across the 1 of their papers we have counts for
1 paper · 1 filter
Étienne André
We present here Imitator II, a new version of Imitator, a tool implementing the "inverse method" for parametric timed automata: given a reference valuation of the parameters, it sy…