3 citations · 8 across the 9 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…