Parametric timed automata (PTA) extend the classical framework of timed automata by substituting fixed timing constants with parameters, thereby offering a flexible means to model systems whose timing ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results
Feedback