IMITATOR is a parametric timed model checker taking as input extensions of parametric timed automata, and synthesizing parameter valuations for safety properties and more.
Idea by Jaco: use convex hull to over-approximate different zones of the same location.
Result would be an over-approximation of the reachability condition.
Idea by Jaco: use convex hull to over-approximate different zones of the same location. Result would be an over-approximation of the reachability condition.