61 citations · 322 across the 42 of their papers we have counts for
1 paper · 2 filters
É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…