6 citations · 14 across the 5 of their papers we have counts for
1 paper · 1 filter
Alexander Lieb, Hendrik Göttmann, Lars Luthmann +2
Timed automata are a widely used formalism for specifying the discrete-state/continuous-time behavior of time-critical reactive systems. For the fundamental verification problem of…