3 citations · 8 across the 9 of their papers we have counts for
Showing cs.FLShow all
2 papers · 1 filter
cs.FL2015★ 1 cited
Language Emptiness of Continuous-Time Parametric Timed Automata
Nikola Beneš, Peter Bezděk, Kim G. Larsen +1
Parametric timed automata extend the standard timed automata with the possibility to use parameters in the clock guards. In general, if the parameters are real-valued, the problem…
cs.FL2014
LTL Parameter Synthesis of Parametric Timed Automata
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…