27 citations · 106 across the 15 of their papers we have counts for
1 paper · 1 filter
Peter Bezděk, Nikola Beneš, Jiří Barnat +1
The parameter synthesis problem for parametric timed automata is undecidable in general even for very simple reachability properties. In this paper we introduce restrictions on par…