16 citations · 49 across the 10 of their papers we have counts for
1 paper · 2 filters
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…